147
click to vote
SIAMCOMP
2010
15 years 15 days 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 ...