Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics
Contributo in Atti di convegno
Data di Pubblicazione:
2013
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
N. Olivetti; G.L. Pozzato
Link alla scheda completa:
Titolo del libro:
Proceedings of CILC 2013
Pubblicato in: