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

Elimination of Negation in a Logical Framework

A. Momigliano
Primo
2000

Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Book Part (author)
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

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/212874
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact