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].
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.