The paper proposes new strategies to decide intuitionistic propositional formulas; at the moment the implementation is the best on ILTP library
Avellone, A., Fiorino, G., & Moscato, U. (2008). Optimization techniques for intuitionistic propositional logic and their implementation. THEORETICAL COMPUTER SCIENCE, 409, 41-58.
Citazione: | Avellone, A., Fiorino, G., & Moscato, U. (2008). Optimization techniques for intuitionistic propositional logic and their implementation. THEORETICAL COMPUTER SCIENCE, 409, 41-58. |
Tipo: | Articolo in rivista - Articolo scientifico |
Carattere della pubblicazione: | Scientifica |
Titolo: | Optimization techniques for intuitionistic propositional logic and their implementation |
Autori: | Avellone, A; Fiorino, G; Moscato, U |
Autori: | |
Data di pubblicazione: | 2008 |
Lingua: | English |
Rivista: | THEORETICAL COMPUTER SCIENCE |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.tcs.2008.08.013 |
Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
optimization_techniques_propositional_intuitionistic_logic.pdf | Other attachments | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.