Sciweavers

SIAMCOMP
2010
96views more  SIAMCOMP 2010»
13 years 6 months ago
Quantified Equality Constraints
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
Manuel Bodirsky, Hubie Chen
CORR
2008
Springer
89views Education» more  CORR 2008»
13 years 11 months ago
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
Barnaby Martin