Table of contents

  1. Front Matter
  2. Wayne Snyder
    Pages 1-2
  3. Christopher Lynch
    Pages 3-18
  4. Tomás E. Uribe, Mark E. Stickel
    Pages 34-49
  5. Flemming Nielson, Hanne Riis Nielson
    Pages 73-88
  6. Zhenyu Qian, Kang Wang
    Pages 105-120
  7. Alexandre Boudet, Evelyne Contejean
    Pages 136-151
  8. Helmut Simonis
    Pages 152-153
  9. Renate Beckmann, Ulrich Bieker, Ingolf Markhof
    Pages 183-200
  10. Philippe Codognet, Giuseppe Nardiello
    Pages 201-216
  11. Max Dauchet
    Pages 217-218
  12. Andreas V. Hense, Gert Smolka
    Pages 219-236
  13. Marianne Haberstrau
    Pages 237-252
  14. Christian Prehofer
    Pages 253-268
  15. Jürgen Avenhaus, Carlos Loría-Sáenz
    Pages 269-284
  16. Leo Bachmair, Harald Ganzinger
    Pages 285-301
  17. Dexter Kozen
    Pages 302-303
  18. Witold Charatonik
    Pages 304-319
  19. Rolf Backofen, Ralf Treinen
    Pages 320-335
  20. Rémi Gilleron, Sophie Tison, Marc Tommasi
    Pages 336-351
  21. Patricia Johann, Rolf Socher-Ambrosius
    Pages 352-367
  22. Back Matter

About these proceedings


This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.


Computational Logics Constraint Programming Constraint-Programmieren Logic Programming Logisches Programmieren Mengen-Constraints Programmierparadigmen Programming Paradigms algorithm algorithms automata automated deduction calculus logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58403-2
  • Online ISBN 978-3-540-48699-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site