Constraints in Computational Logics (CCL)
CCL 1999: Gif-sur-Yvette, France
Hubert Comon, Claude Marché, Ralf Treinen (Eds.): Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Springer 2001 Lecture Notes in Computer Science 2002 ISBN 3-540-41950-0 [ contents ]
1. CCL 1994: Munich, Germany
Jean-Pierre Jouannaud (Ed.): Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994. Springer 1994 Lecture Notes in Computer Science 845 ISBN 3-540-58403-X [ contents ]



