Conferences in DBLP

Constraints in Computational Logics (CCL) (ccl)
1994 (conf/ccl/1994)

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