Simone Bova

	2009
6		Simone Bova: Soft Constraints Processing over Divisible Residuated Lattices. ECSQARU 2009: 887-898
5		Stefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS 2009: 1-15
4		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		Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3): (2008)
2		Simone Bova: k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices CoRR abs/0805.3261: (2008)
	2006
1		Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic CoRR abs/cs/0605094: (2006)

Coauthor Index

1	Stefano Aguzzoli	[5]
2	Vincenzo Marra	[5]
3	Franco Montagna	[1] [3] [4]

Colors in the list of coauthors