Simone Bova and Franco Montagna

Recent Publications

Polynomial space hardness without disjunction property
Simone Bova and Franco Montagna
Theor. Comput. Sci., volume 467, pages 1-11, 2013.
Cite
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Simone Bova and Franco Montagna
Theor. Comput. Sci., volume 410, number 12-13, pages 1143-1158, 2009.
Cite
Proof search in Hájek's basic logic
Simone Bova and Franco Montagna
ACM Trans. Comput. Log., volume 9, number 3, 2008.
Cite