default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ccl/ccl94.bht:"
download as .bib file
@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 = {Sun, 06 Oct 2024 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}
}
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.
retrieved on 2025-02-18 08:41 CET from data curated 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:
