Minimal negation and Hereditary Harrop formulae / A. Momigliano - In: Logical Foundations of Computer Science — Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings / Anil Nerode and Michael A. Taitslin. - [s.l] : Springer, 1992. - ISBN 3-540-55707-5. - pp. 326-335 (( convegno Logical Foundations of Computer Science tenutosi a Tver nel 1992 [10.1007/BFb0023886].

Minimal negation and Hereditary Harrop formulae

A. Momigliano
1992

Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
BFb0023886.pdf

non disponibili

515.33 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento 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: http://hdl.handle.net/2434/212932
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact