Elimination of Negation in a Logical Framework / A. Momigliano - In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings / P. Clote, H. Schwichtenberg}. - London, UK, UK : Springer-Verlag, 2000. - ISBN 3-540-67895-6. - pp. 411-426 (( convegno Computer Science Logic [10.1007/3-540-44622-2_28].
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
csl.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
223.15 kB
Formato
Adobe PDF
|
223.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.
