Search dblp for Publications

export results for "stream:streams/conf/ccl:"

 download as .bib file

@proceedings{DBLP:conf/ccl/1999,
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45406-3},
  doi          = {10.1007/3-540-45406-3},
  isbn         = {3-540-41950-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/BaaderS99,
  author       = {Franz Baader and
                  Klaus U. Schulz},
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Combining Constraint Solving},
  booktitle    = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  pages        = {104--158},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45406-3\_3},
  doi          = {10.1007/3-540-45406-3\_3},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/BaaderS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/ComonK99,
  author       = {Hubert Comon and
                  Claude Kirchner},
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Constraint Solving on Terms},
  booktitle    = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  pages        = {47--103},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45406-3\_2},
  doi          = {10.1007/3-540-45406-3\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/ComonK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/GanzingerN99,
  author       = {Harald Ganzinger and
                  Robert Nieuwenhuis},
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Constraints and Theorem Proving},
  booktitle    = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  pages        = {159--201},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45406-3\_4},
  doi          = {10.1007/3-540-45406-3\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/GanzingerN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/JouannaudT99,
  author       = {Jean{-}Pierre Jouannaud and
                  Ralf Treinen},
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Constraints and Constraint Solving: An Introduction},
  booktitle    = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  pages        = {1--46},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45406-3\_1},
  doi          = {10.1007/3-540-45406-3\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/JouannaudT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Rodriguez-Artalejo99,
  author       = {Mario Rodr{\'{\i}}guez{-}Artalejo},
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Functional and Constraint Logic Programming},
  booktitle    = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  pages        = {202--270},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45406-3\_5},
  doi          = {10.1007/3-540-45406-3\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Rodriguez-Artalejo99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Simonis99,
  author       = {Helmut Simonis},
  editor       = {Hubert Comon and
                  Claude March{\'{e}} and
                  Ralf Treinen},
  title        = {Building Industrial Applications with Constraint Programming},
  booktitle    = {Constraints in Computational Logics: Theory and Applications, International
                  Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
                  Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2002},
  pages        = {271--309},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45406-3\_6},
  doi          = {10.1007/3-540-45406-3\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Simonis99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/AvenhausL94,
  author       = {J{\"{u}}rgen Avenhaus and
                  Carlos Lor{\'{\i}}a{-}S{\'{a}}enz},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Higher Order Conditional Rewriting and Narrowing},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {269--284},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016859},
  doi          = {10.1007/BFB0016859},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/AvenhausL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/BachmairG94,
  author       = {Leo Bachmair and
                  Harald Ganzinger},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Buchberger's Algorithm: {A} Constraint-Based Completion Procedure},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {285--301},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016860},
  doi          = {10.1007/BFB0016860},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/BachmairG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/BackofenT94,
  author       = {Rolf Backofen and
                  Ralf Treinen},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {How to Win a Game with Features},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {320--335},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016863},
  doi          = {10.1007/BFB0016863},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/BackofenT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Barth94,
  author       = {Peter Barth},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Simplifying Clausal Satisfiability Problems},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016842},
  doi          = {10.1007/BFB0016842},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Barth94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/BeckmannBM94,
  author       = {Renate Beckmann and
                  Ulrich Bieker and
                  Ingolf Markhof},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Application of Constraint Logic Programming for {VLSI} {CAD} Tools},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {183--200},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016853},
  doi          = {10.1007/BFB0016853},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/BeckmannBM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/BoudedC94,
  author       = {Alexandre Boudet and
                  Evelyne Contejean},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {"Syntactic" AC-Unification},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {136--151},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016849},
  doi          = {10.1007/BFB0016849},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/BoudedC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Charatonik94,
  author       = {Witold Charatonik},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Set Constraints in Some Equational Theories},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {304--319},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016862},
  doi          = {10.1007/BFB0016862},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Charatonik94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/CodognetN94,
  author       = {Philippe Codognet and
                  Giuseppe Nardiello},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Path Consistency in clp(FD)},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {201--216},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016854},
  doi          = {10.1007/BFB0016854},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/CodognetN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Dauchet94,
  author       = {Max Dauchet},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Symbolic Constraints and Tree Automata},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {217--218},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016855},
  doi          = {10.1007/BFB0016855},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Dauchet94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/GilleronTT94,
  author       = {R{\'{e}}mi Gilleron and
                  Sophie Tison and
                  Marc Tommasi},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Some new Decidability Results on Positive and Negative Set Constraints},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {336--351},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016864},
  doi          = {10.1007/BFB0016864},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/GilleronTT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Haberstrau94,
  author       = {Marianne Haberstrau},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {{ECOLOG:} an Environment for COnstraint LOGics},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {237--252},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016857},
  doi          = {10.1007/BFB0016857},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Haberstrau94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/HenseS94,
  author       = {Andreas V. Hense and
                  Gert Smolka},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {A Record Calculus with Principal Types},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {219--236},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016856},
  doi          = {10.1007/BFB0016856},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/HenseS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/JohannS94,
  author       = {Patricia Johann and
                  Rolf Socher{-}Ambrosius},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Solving Simplification Ordering Constraints},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {352--367},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016865},
  doi          = {10.1007/BFB0016865},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/JohannS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Kozen94,
  author       = {Dexter Kozen},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Set Constraints and Logic Programming},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {302--303},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016861},
  doi          = {10.1007/BFB0016861},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Kozen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Lugiez94,
  author       = {Denis Lugiez},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Higher Order Disunification: Some decidable cases},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {121--135},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016848},
  doi          = {10.1007/BFB0016848},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Lugiez94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Lynch94,
  author       = {Christopher Lynch},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Local Simplification},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016841},
  doi          = {10.1007/BFB0016841},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Lynch94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Michaylov94,
  author       = {Spiro Michaylov},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Repeated Redundant Inequalities in Constraint Logic Programming},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {154--169},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016851},
  doi          = {10.1007/BFB0016851},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Michaylov94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/NiehrenS94,
  author       = {Joachim Niehren and
                  Gert Smolka},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {A Confluent Relational Calculus for Higher-Order Programming with
                  Constraints},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {89--104},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016846},
  doi          = {10.1007/BFB0016846},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/NiehrenS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/NielsonN94,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Constraints for Polymorphic Behaviours of Concurrent {ML}},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016845},
  doi          = {10.1007/BFB0016845},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/NielsonN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Prehofer94,
  author       = {Christian Prehofer},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {On Modularity in Term Rewriting and Narrowing},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {253--268},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016858},
  doi          = {10.1007/BFB0016858},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Prehofer94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/QianW94,
  author       = {Zhenyu Qian and
                  Kang Wang},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Modular {AC} Unification of Higher-Order Patterns},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {105--120},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016847},
  doi          = {10.1007/BFB0016847},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/QianW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Simonis94,
  author       = {Helmut Simonis},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Applications of Constraint Logic Programming},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {152--153},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016850},
  doi          = {10.1007/BFB0016850},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Simonis94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Smolka94,
  author       = {Gert Smolka},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {A Foundation for Higher-order Concurrent Constraint Programming},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {50--72},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016844},
  doi          = {10.1007/BFB0016844},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Smolka94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Snyder94,
  author       = {Wayne Snyder},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Automated Deduction with Constraints},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016840},
  doi          = {10.1007/BFB0016840},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Snyder94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/Tsutsumi94,
  author       = {Fujio Tsutsumi},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {An Efficient Algorithm of Logic Programming with Constraint Hierarchy},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {170--182},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016852},
  doi          = {10.1007/BFB0016852},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/Tsutsumi94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccl/UribeS94,
  author       = {Tom{\'{a}}s E. Uribe and
                  Mark E. Stickel},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Ordered Binary Decision Diagrams and the Davis-Putnam Procedure},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016843},
  doi          = {10.1007/BFB0016843},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/UribeS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ccl/1994,
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016839},
  doi          = {10.1007/BFB0016839},
  isbn         = {3-540-58403-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.