From constructivism to logic programming: An homage to Mario Ornaghi

Articolo
Data di Pubblicazione:
2018
Abstract:
In this brief note, we outline Mario Ornaghi's contributions to the field of computational logic to celebrate his 70th birthday.
Tipologia CRIS:
Articolo su Rivista
Keywords:
Theoretical Computer Science; Algebra and Number Theory; Information Systems; Computational Theory and Mathematics
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/2075429
Pubblicato in:
FUNDAMENTA INFORMATICAE
Journal

Dati Generali

URL

www.iospress.nl/journal/fundamenta-informaticae/