default search action
CCL 1999: Gif-sur-Yvette, France
- Hubert Comon, Claude Marché, Ralf Treinen:
Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Lecture Notes in Computer Science 2002, Springer 2001, ISBN 3-540-41950-0 - Jean-Pierre Jouannaud, Ralf Treinen:
Constraints and Constraint Solving: An Introduction. 1-46 - Hubert Comon, Claude Kirchner:
Constraint Solving on Terms. 47-103 - Franz Baader, Klaus U. Schulz:
Combining Constraint Solving. 104-158 - Harald Ganzinger, Robert Nieuwenhuis:
Constraints and Theorem Proving. 159-201 - Mario Rodríguez-Artalejo:
Functional and Constraint Logic Programming. 202-270 - Helmut Simonis:
Building Industrial Applications with Constraint Programming. 271-309
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.