Simone Bova

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5144619	2021-01-19	Paper
How many variables are needed to express an existential positive query?	2019-09-05	Paper
How many variables are needed to express an existential positive query?	2018-07-18	Paper
Model checking existential logic on partially ordered sets	2018-04-23	Paper
Free weak nilpotent minimum algebras	2018-02-23	Paper
On compiling structured CNFs to OBDDs	2017-10-20	Paper
First-order queries on finite abelian groups	2017-08-31	Paper
Proof search in Hájek's basic logic	2017-07-12	Paper
Model checking existential logic on partially ordered sets	2017-07-12	Paper
Quantified conjunctive queries on partially ordered sets	2016-02-18	Paper
On compiling CNFs into structured deterministic DNNFs	2015-11-20	Paper
On compiling structured CNFs to OBDDs	2015-10-20	Paper
Quantified conjunctive queries on partially ordered sets	2015-09-15	Paper
The complexity of equivalence, entailment, and minimization in existential positive logic	2014-11-24	Paper
Unification and projectivity in De Morgan and Kleene algebras.	2014-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q5406040	2014-04-01	Paper
Generic expression hardness results for primitive positive formula comparison	2013-06-06	Paper
Polynomial space hardness without disjunction property	2013-02-19	Paper
Lewis dichotomies in many-valued logics	2013-02-18	Paper
On the expression complexity of equivalence and isomorphism of primitive positive formulas	2012-12-06	Paper
Finite RDP-algebras: duality, coproducts and logic	2012-06-20	Paper
The free \(n\)-generated BL-algebra	2011-08-26	Paper
Generic expression hardness results for primitive positive formula comparison	2011-07-07	Paper
The coherence of Łukasiewicz assessments is NP-complete	2010-07-20	Paper
Soft Constraints Processing over Divisible Residuated Lattices	2009-07-02	Paper
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete	2009-03-25	Paper
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras	2009-02-24	Paper

Research outcomes over time

This page was built for person: Simone Bova