CINECA IRIS Institutional Research Information System

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics

POZZATO, GIAN LUCA
2013-01-01
2013
CILC 2013: 28o convegno italiano di logica computazionale
Catania
25-27 settembre 2013
Proceedings of CILC 2013
CEUR Workshop Proceedings
1068
49
63
http://ceur-ws.org/Vol-1068/
N. Olivetti; G.L. Pozzato
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
cilc2013NSofficial.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 748.7 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
748.7 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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