Searching for "Tarskian Set Constraints." – sorted by Relevance.
-
Tarskian Set Constraints
- Tarskian Set Constraints ROBERT GIVAN 1 , DEXTER KOZEN, DAVID MCALLESTER, and CARL WITTY
- Cited by 18 (0 self) – Add To MetaCart
-
Tarskian Set Constraints are in NEXPTIME
- Tarskian Set Constraints are in NEXPTIME ? Pawel Mielniczuk and Leszek Pacholski Institute
- Cited by 3 (0 self) – Add To MetaCart
-
Set Constraints: a Pearl in Research on Constraints
- Allester, Givan, Witty and Kozen [71] liberalized the notions of set constraints to so-called Tarskian set
- Cited by 29 (4 self) – Add To MetaCart
-
Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic
- are the Tarskian set constraints [15, 21, 22]. Syntactically, Tarskian set constraints are very similar to Herbrand
- Cited by 2 (2 self) – Add To MetaCart
-
Inclusion Constraints over Non-empty Sets of Trees
- constraints is decidable. Tarskian Set Constraints. MacAllester and Givan [21] give a cubic algorithm which
- Cited by 11 (5 self) – Add To MetaCart
-
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
- -behaved operators on lattices, and the complexity results established for (boolean) Tarskian set constraints by Mc
- Cited by 3 (3 self) – Add To MetaCart

