Simone Bova

List of publications from the DBLP Bibliography Server - FAQ

2009

5 EE Stefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS 2009: 1-15

4 EE Simone Bova, Franco Montagna: The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410(12-13): 1143-1158 (2009)

2008

3 EE Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3): (2008)

2 EE Simone Bova: k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices CoRR abs/0805.3261: (2008)

2006

1 EE Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic CoRR abs/cs/0605094: (2006)

2009
5	EE	Stefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS 2009: 1-15
4	EE	Simone Bova, Franco Montagna: The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410(12-13): 1143-1158 (2009)
2008
3	EE	Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3): (2008)
2	EE	Simone Bova: k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices CoRR abs/0805.3261: (2008)
2006
1	EE	Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic CoRR abs/cs/0605094: (2006)

Coauthor Index