Avellone, A., Fiorino, G., Moscato, U. (2002). An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic. In Proceedings of the 3rd Int. Workshop on the Implementation of Logics, (pp.53-58). Tiblisi : University of Tiblisi.

An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic

AVELLONE, ALESSANDRO;FIORINO, GUIDO GIUSEPPE;MOSCATO, UGO EMANUELE
2002

paper
decision procedure, complexity, logic, ATP
English
3rd Int. Workshop on the Implementation of Logics, 9th LPAR
2002
Proceedings of the 3rd Int. Workshop on the Implementation of Logics,
2002
53
58
none
Avellone, A., Fiorino, G., Moscato, U. (2002). An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic. In Proceedings of the 3rd Int. Workshop on the Implementation of Logics, (pp.53-58). Tiblisi : University of Tiblisi.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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