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
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.