×

zbMATH — the first resource for mathematics

Bova, Simone

Compute Distance To:
Author ID: bova.simone Recent zbMATH articles by "Bova, Simone"
Published as: Bova, Simone
Documents Indexed: 27 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 58 times in 47 Documents Cited by Year
The coherence of Łukasiewicz assessments is NP-complete. Zbl 1201.68117
Bova, Simone; Flaminio, Tommaso
10
2010
The free \(n\)-generated BL-algebra. Zbl 1236.03048
Aguzzoli, Stefano; Bova, Simone
7
2010
Applications of finite duality to locally finite varieties of BL-algebras. Zbl 1211.03098
Aguzzoli, Stefano; Bova, Simone; Marra, Vincenzo
6
2009
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Zbl 1159.03045
Bova, Simone; Montagna, Franco
5
2009
Finite RDP-algebras: duality, coproducts and logic. Zbl 1248.03082
Bova, Simone; Valota, Diego
5
2012
Free algebras and functional representation for fuzzy logics. Zbl 1284.03172
Aguzzoli, Stefano; Bova, Simone; Gerla, Brunella
4
2011
Proof search in Hájek’s basic logic. Zbl 1367.03024
Bova, Simone; Montagna, Franco
3
2008
Model checking existential logic on partially ordered sets. Zbl 1367.68182
Bova, Simone; Ganian, Robert; Szeider, Stefan
3
2016
On compiling CNFs into structured deterministic DNNFs. Zbl 06512574
Bova, Simone; Capelli, Florent; Mengel, Stefan; Slivovsky, Friedrich
3
2015
Generic expression hardness results for primitive positive formula comparison. Zbl 1295.68121
Bova, Simone; Chen, Hubie; Valeriote, Matthew
2
2013
On the expression complexity of equivalence and isomorphism of primitive positive formulas. Zbl 1288.68080
Bova, Simone; Chen, Hubie; Valeriote, Matthew
2
2012
Generic expression hardness results for primitive positive formula comparison. Zbl 1333.68116
Bova, Simone; Chen, Hubie; Valeriote, Matthew
1
2011
Polynomial space hardness without disjunction property. Zbl 1298.68097
Bova, Simone; Montagna, Franco
1
2013
Free weak nilpotent minimum algebras. Zbl 1454.03090
Aguzzoli, Stefano; Bova, Simone; Valota, Diego
1
2017
How many variables are needed to express an existential positive query? Zbl 1402.68042
Bova, Simone; Chen, Hubie
1
2017
On compiling structured CNFs to OBDDs. Zbl 1378.68028
Bova, Simone; Slivovsky, Friedrich
1
2017
Quantified conjunctive queries on partially ordered sets. Zbl 1456.68096
Bova, Simone; Ganian, Robert; Szeider, Stefan
1
2014
On compiling structured CNFs to OBDDs. Zbl 1378.68027
Bova, Simone; Slivovsky, Friedrich
1
2015
Unification and projectivity in De Morgan and Kleene algebras. Zbl 1303.06009
Bova, Simone; Cabrer, Leonardo
1
2014
Free weak nilpotent minimum algebras. Zbl 1454.03090
Aguzzoli, Stefano; Bova, Simone; Valota, Diego
1
2017
How many variables are needed to express an existential positive query? Zbl 1402.68042
Bova, Simone; Chen, Hubie
1
2017
On compiling structured CNFs to OBDDs. Zbl 1378.68028
Bova, Simone; Slivovsky, Friedrich
1
2017
Model checking existential logic on partially ordered sets. Zbl 1367.68182
Bova, Simone; Ganian, Robert; Szeider, Stefan
3
2016
On compiling CNFs into structured deterministic DNNFs. Zbl 06512574
Bova, Simone; Capelli, Florent; Mengel, Stefan; Slivovsky, Friedrich
3
2015
On compiling structured CNFs to OBDDs. Zbl 1378.68027
Bova, Simone; Slivovsky, Friedrich
1
2015
Quantified conjunctive queries on partially ordered sets. Zbl 1456.68096
Bova, Simone; Ganian, Robert; Szeider, Stefan
1
2014
Unification and projectivity in De Morgan and Kleene algebras. Zbl 1303.06009
Bova, Simone; Cabrer, Leonardo
1
2014
Generic expression hardness results for primitive positive formula comparison. Zbl 1295.68121
Bova, Simone; Chen, Hubie; Valeriote, Matthew
2
2013
Polynomial space hardness without disjunction property. Zbl 1298.68097
Bova, Simone; Montagna, Franco
1
2013
Finite RDP-algebras: duality, coproducts and logic. Zbl 1248.03082
Bova, Simone; Valota, Diego
5
2012
On the expression complexity of equivalence and isomorphism of primitive positive formulas. Zbl 1288.68080
Bova, Simone; Chen, Hubie; Valeriote, Matthew
2
2012
Free algebras and functional representation for fuzzy logics. Zbl 1284.03172
Aguzzoli, Stefano; Bova, Simone; Gerla, Brunella
4
2011
Generic expression hardness results for primitive positive formula comparison. Zbl 1333.68116
Bova, Simone; Chen, Hubie; Valeriote, Matthew
1
2011
The coherence of Łukasiewicz assessments is NP-complete. Zbl 1201.68117
Bova, Simone; Flaminio, Tommaso
10
2010
The free \(n\)-generated BL-algebra. Zbl 1236.03048
Aguzzoli, Stefano; Bova, Simone
7
2010
Applications of finite duality to locally finite varieties of BL-algebras. Zbl 1211.03098
Aguzzoli, Stefano; Bova, Simone; Marra, Vincenzo
6
2009
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Zbl 1159.03045
Bova, Simone; Montagna, Franco
5
2009
Proof search in Hájek’s basic logic. Zbl 1367.03024
Bova, Simone; Montagna, Franco
3
2008

Citations by Year