1. CCL 1994: Munich, Germany

Jean-Pierre Jouannaud (Ed.): Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994. Lecture Notes in Computer Science 845 Springer 1994, ISBN 3-540-58403-X BibTeX

@proceedings{DBLP:conf/ccl/1994,
  editor    = {Jean-Pierre Jouannaud},
  title     = {Constraints in Computational Logics, First International Conference,
               CCL'94, Munich, Germant, September 7-9, 1994},
  booktitle = {CCL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {845},
  year      = {1994},
  isbn      = {3-540-58403-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Wayne Snyder: Automated Deduction with Constraints. 1-2 BibTeX
Christopher Lynch: Local Simplification. 3-18 BibTeX
Peter Barth: Simplifying Clausal Satisfiability Problems. 19-33 BibTeX
Tomás E. Uribe, Mark E. Stickel: Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. 34-49 BibTeX
Gert Smolka: A Foundation for Higher-order Concurrent Constraint Programming. 50-72 BibTeX
Flemming Nielson, Hanne Riis Nielson: Constraints for Polymorphic Behaviours of Concurrent ML. 73-88 BibTeX
Joachim Niehren, Gert Smolka: A Confluent Relational Calculus for Higher-Order Programming with Constraints. 89-104 BibTeX
Zhenyu Qian, Kang Wang: Modular AC Unification of Higher-Order Patterns. 105-120 BibTeX
Denis Lugiez: Higher Order Disunification: Some decidable cases. 121-135 BibTeX
Alexandre Boudet, Evelyne Contejean: "Syntactic" AC-Unification. 136-151 BibTeX
Helmut Simonis: Applications of Constraint Logic Programming. 152-153 BibTeX
Spiro Michaylov: Repeated Redundant Inequalities in Constraint Logic Programming. 154-169 BibTeX
Fujio Tsutsumi: An Efficient Algorithm of Logic Programming with Constraint Hierarchy. 170-182 BibTeX
Renate Beckmann, Ulrich Bieker, Ingolf Markhof: Application of Constraint Logic Programming for VLSI CAD Tools. 183-200 BibTeX
Philippe Codognet, Giuseppe Nardiello: Path Consistency in clp(FD). 201-216 BibTeX
Max Dauchet: Symbolic Constraints and Tree Automata. 217-218 BibTeX
Andreas V. Hense, Gert Smolka: A Record Calculus with Principal Types. 219-236 BibTeX
Marianne Haberstrau: ECOLOG: an Environment for COnstraint LOGics. 237-252 BibTeX
Christian Prehofer: On Modularity in Term Rewriting and Narrowing. 253-268 BibTeX
Jürgen Avenhaus, Carlos Loría-Sáenz: Higher Order Conditional Rewriting and Narrowing. 269-284 BibTeX
Leo Bachmair, Harald Ganzinger: Buchberger's Algorithm: A Constraint-Based Completion Procedure. 285-301 BibTeX
Dexter Kozen: Set Constraints and Logic Programming. 302-303 BibTeX
Witold Charatonik: Set Constraints in Some Equational Theories. 304-319 BibTeX
Rolf Backofen, Ralf Treinen: How to Win a Game with Features. 320-335 BibTeX
Rémi Gilleron, Sophie Tison, Marc Tommasi: Some new Decidability Results on Positive and Negative Set Constraints. 336-351 BibTeX
Patricia Johann, Rolf Socher-Ambrosius: Solving Simplification Ordering Constraints. 352-367 BibTeX