Abstract is missing.
- Automated Deduction with ConstraintsWayne Snyder. 1-2
- Local SimplificationChristopher Lynch. 3-18
- Simplifying Clausal Satisfiability ProblemsPeter Barth. 19-33
- Ordered Binary Decision Diagrams and the Davis-Putnam ProcedureTomás E. Uribe, Mark E. Stickel. 34-49
- A Foundation for Higher-order Concurrent Constraint ProgrammingGert Smolka. 50-72
- Constraints for Polymorphic Behaviours of Concurrent MLFlemming Nielson, Hanne Riis Nielson. 73-88
- A Confluent Relational Calculus for Higher-Order Programming with ConstraintsJoachim Niehren, Gert Smolka. 89-104
- Modular AC Unification of Higher-Order PatternsZhenyu Qian, Kang Wang. 105-120
- Higher Order Disunification: Some decidable casesDenis Lugiez. 121-135
- Syntactic AC-UnificationAlexandre Boudet, Evelyne Contejean. 136-151
- Applications of Constraint Logic ProgrammingHelmut Simonis. 152-153
- Repeated Redundant Inequalities in Constraint Logic ProgrammingSpiro Michaylov. 154-169
- An Efficient Algorithm of Logic Programming with Constraint HierarchyFujio Tsutsumi. 170-182
- Application of Constraint Logic Programming for VLSI CAD ToolsRenate Beckmann, Ulrich Bieker, Ingolf Markhof. 183-200
- Path Consistency in clp(FD)Philippe Codognet, Giuseppe Nardiello. 201-216
- Symbolic Constraints and Tree AutomataMax Dauchet. 217-218
- A Record Calculus with Principal TypesAndreas V. Hense, Gert Smolka. 219-236
- ECOLOG: an Environment for COnstraint LOGicsMarianne Haberstrau. 237-252
- On Modularity in Term Rewriting and NarrowingChristian Prehofer. 253-268
- Higher Order Conditional Rewriting and NarrowingJürgen Avenhaus, Carlos Loría-Sáenz. 269-284
- Buchberger s Algorithm: A Constraint-Based Completion ProcedureLeo Bachmair, Harald Ganzinger. 285-301
- Set Constraints and Logic ProgrammingDexter Kozen. 302-303
- Set Constraints in Some Equational TheoriesWitold Charatonik. 304-319
- How to Win a Game with FeaturesRolf Backofen, Ralf Treinen. 320-335
- Some new Decidability Results on Positive and Negative Set ConstraintsRémi Gilleron, Sophie Tison, Marc Tommasi. 336-351
- Solving Simplification Ordering ConstraintsPatricia Johann, Rolf Socher-Ambrosius. 352-367