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