Conferences in DBLP

Constraints in Computational Logics (CCL) (ccl)
1999 (conf/ccl/1999)

1. Jean-Pierre Jouannaud, Ralf Treinen
   Constraints and Constraint Solving: An Introduction. [Citation Graph (0, 0)][DBLP]
   CCL, 1999, pp:1-46 [Conf]
   
2. Hubert Comon, Claude Kirchner
   Constraint Solving on Terms. [Citation Graph (0, 0)][DBLP]
   CCL, 1999, pp:47-103 [Conf]
   
3. Franz Baader, Klaus U. Schulz
   Combining Constraint Solving. [Citation Graph (0, 0)][DBLP]
   CCL, 1999, pp:104-158 [Conf]
   
4. Harald Ganzinger, Robert Nieuwenhuis
   Constraints and Theorem Proving. [Citation Graph (0, 0)][DBLP]
   CCL, 1999, pp:159-201 [Conf]
   
5. Mario Rodríguez-Artalejo
   Functional and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   CCL, 1999, pp:202-270 [Conf]
   
6. Helmut Simonis
   Building Industrial Applications with Constraint Programming. [Citation Graph (0, 0)][DBLP]
   CCL, 1999, pp:271-309 [Conf]