Searching for "Tarskian Set Constraints." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
