Bicocca Open Archive

Logo unimib boa

Ferrari, M., Fiorentini, C., Fiorino, G. (2009). Towards the use of simplification rules in intuitionistic tableaux. In Atti del convegno "CILC09 - 24-esimo Convegno Italiano di Logica Computazionale", Ferrara, Italy, 2009.

Towards the use of simplification rules in intuitionistic tableaux

FIORINO, GUIDO GIUSEPPE
2009
slide + paper
Tableau Systems; Automated Theorem Proving; Propositional Intuitionistic Logic
English
CILC 2009 24-esimo Convegno Italiano di Logica Computazionale
2009
Atti del convegno "CILC09 - 24-esimo Convegno Italiano di Logica Computazionale", Ferrara, Italy, 2009
2009
open
Ferrari, M., Fiorentini, C., Fiorino, G. (2009). Towards the use of simplification rules in intuitionistic tableaux. In Atti del convegno "CILC09 - 24-esimo Convegno Italiano di Logica Computazionale", Ferrara, Italy, 2009.
02 - Intervento a convegno
File in questo prodotto:
File Dimensione Formato  
towardsConstantSignOptimization.pdf

Accesso Aperto

Dimensione 171.91 kB
Formato Adobe PDF
Visualizza/Apri
171.91 kB Adobe PDF Visualizza/Apri

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/10281/7924
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact