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

poster
decision procedure, complexity, proof theory
English
9th LPAR
2002
2002
none
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.
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/362
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact