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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0016839
  • 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
  • About this book