116
Voted
SIAMCOMP
2010
14 years 9 months ago
2010
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 ...
88
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic