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
Model checking existential logic on partially ordered sets	2017-07-12	Paper
Proof search in Hájek's basic logic	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Simone Bova