Jean-Louis Lassez and Ken McAloon. A constraint sequent calculus. In Proceedings of the 5th IEEE Symposium on Logic in Computer Science, LICS'90, pages 52--61, Philadelphia, June 1990. IEEE Computer Society Press. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Cooperation of Background Reasoners in Theory Reasoning by.. - Tinelli (2002) (7 citations) (Correct)
A New Framework for Declarative Programming - Finkelstein, Freyd, Lipton (2001) (1 citation) (Correct)
Building Tractable Disjunctive Constraints - Cohen, Jeavons, Jonsson.. (2000) (Correct)
Adding Constraints to Logic-based Formalisms - Maher (1999) (Correct)
Constrained Dependencies - Maher (1995) (8 citations) (Correct)
A Logic Programming View of CLP - Maher (1993) (49 citations) (Correct)
Set Constraints with Intersection - Charatonik, Podelski (26 citations) (Correct)
A Feature-based Constraint System for Logic Programming .. - Aït-Kaci, Podelski.. (1992) (Correct)
Records for Logic Programming - Smolka, Treinen (1994) (80 citations) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (359 citations) (Correct)
Negative Boolean Constraints - Marriott, Odersky (1994) (3 citations) (Correct)
Jo: A Concurrent Constraint Programming Language (Programming for .. - Wilson (1995) (Correct)
A Feature Constraint System for Logic Programming with.. - Aït-Kaci, Podelski, Smolka (1992) (Correct)
A Feature-based Constraint System for Logic.. - Aït-Kaci.. (1992) (2 citations) (Correct)
A Feature Constraint System for Logic Programming with.. - Aït-Kaci, Podelski, Smolka (1992) (1 citation) (Correct)
Set Constraints with Intersection - Charatonik, Podelski (26 citations) (Correct)
A New Perspective on Integrating Functional and Logic.. - Darlington, Guo, Pull (1992) (6 citations) (Correct)
Chasing Constrained Tuple-Generating Dependencies - Maher, Srivastava (1996) (4 citations) (Correct)
A Feature-based Constraint System for Logic.. - Hassan Aït-Kaci.. (1992) (Correct)
Records for Logic Programming - Smolka, Treinen (1994) (80 citations) (Correct)
The Independence Property of a Class of Set Constraints - Charatonik, Podelski (1996) (7 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC