default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. CCL 1994: Munich, Germany
- Jean-Pierre Jouannaud:
Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germany, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
