Ferrari, M., Fiorentini, C., & Fiorino, G.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.
Citazione: | Ferrari, M., Fiorentini, C., & Fiorino, G.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. | |
Tipo: | slide + paper | |
Carattere della pubblicazione: | Scientifica | |
Titolo: | Towards the use of simplification rules in intuitionistic tableaux | |
Autori: | Ferrari, M; Fiorentini, C; Fiorino, GG | |
Autori: | ||
Data di pubblicazione: | 2009 | |
Lingua: | English | |
Nome del convegno: | CILC 2009 24-esimo Convegno Italiano di Logica Computazionale | |
Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
towardsConstantSignOptimization.pdf | N/A | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.