Inclusion Constraints over Non-empty Sets of Trees (1997)

Cached

Download Links

by Martin Müller , Joachim Niehren , Andreas Podelski
Citations:14 - 5 self

Active Bibliography

12 The Independence Property of a Class of Set Constraints – Witold Charatonik, Andreas Podelski - 1996
3 Entailment of Set Constraints is not Feasible – Martin Müller, Joachim Niehren - 1997
27 Set Constraints with Intersection – Witold Charatonik, Andreas Podelski
8 Entailment of Atomic Set Constraints is PSPACE-Complete – Joachim Niehren, Martin Müller, Jean-marc Talbot - 1999
69 Set Constraints: Results, Applications and Future Directions – Alexander Aiken
4 Constraints in Term Algebras (Short Survey) – Hubert Comon - 1993
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
5 A Methodological View of Constraint Solving – Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner - 1996
95 Records for Logic Programming – Gert Smolka, Ralf Treinen - 1994
6 Rational spaces and set constraints – Dexter Kozen - 1995
A Complete Gentzen-Style Axiomatization for Set Constraints – Allan Cheng Y, Dexter Kozen
1 Some Notes on Rational Spaces – Allan Cheng, Dexter Kozen - 1996
4 A Complete Gentzen-Style Axiomatization for Set Constraints – Allan Cheng, Dexter Kozen - 1996
25 Tarskian Set Constraints – Robert Givan, Dexter Kozen, David McAllester, Carl Witty - 1996
1 Efficient Algorithms for General Classes of Integer Range Constraints – Zhendong Su, David Wagner
27 Logical aspects of set constraints – Dexter Kozen - 1993
Ezy Mnogo'sciowe W Pewnych Teoriach R'owno'sciowych – Praca Doktorska, Instytucie Informatyki, Instytucie Matematycznym, Polskiej Akademii Nauk, Promotor Leszek Pacholski, Witold Charatonik, Witold Charatonik, Supervisor Leszek
5 Inferring Recursive Data Types – David Mcallester
3 Equational and membership constraints for infinite trees – Joachim Niehren, Andreas Podelski, Ralf Treinen - 1993