Avellone, A., Fiorino, G., Moscato, U. (2002). A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic. Intervento presentato a: 9th LPAR, Tbilisi.
A new 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.