|
11
|
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
|
|
704
|
Constraint Logic Programming: A Survey
– Joxan Jaffar, Michael J. Maher
|
|
4
|
A Methodological View of Constraint Solving
– Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner
- 1996
|
|
94
|
Records for Logic Programming
– Gert Smolka, Ralf Treinen
- 1994
|
|
5
|
Rational Spaces and Set Constraints
– Dexter Kozen
- 1995
|
|
4
|
A Complete Gentzen-Style Axiomatization for Set Constraints
– Allan Cheng, Dexter Kozen
- 1996
|
|
1
|
Some Notes on Rational Spaces
– Allan Cheng, Dexter Kozen
- 1996
|
|
23
|
Tarskian Set Constraints
– Robert Givan, Dexter Kozen, David McAllester, Carl Witty
- 1996
|
|
|
Efficient Algorithms for General Classes of Integer Range Constraints
– Zhendong Su, David Wagner
|
|
24
|
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
|
|
4
|
Inferring Recursive Data Types
– David Mcallester
|
|
3
|
Equational and membership constraints for infinite trees
– Joachim Niehren, Andreas Podelski, Ralf Treinen
- 1993
|
|
3
|
Negation in Combining Constraint Systems
– Stephan Kepser
- 1998
|
