In this brief note, we outline Mario Ornaghi's contributions to the field of computational logic to celebrate his 70th birthday.

From Constructivism to Logic Programming: an Homage to Mario Ornaghi / M. Ferrari, C. Fiorentini, A. Momigliano. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 161:1-2(2018 Jul), pp. 1-7. [10.3233/FI-2018-1692]

From Constructivism to Logic Programming: an Homage to Mario Ornaghi

C. Fiorentini;A. Momigliano
2018

Abstract

In this brief note, we outline Mario Ornaghi's contributions to the field of computational logic to celebrate his 70th birthday.
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
lug-2018
Article (author)
File in questo prodotto:
File Dimensione Formato  
2018_fi_Mario.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 139.15 kB
Formato Adobe PDF
139.15 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/580827
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact