Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1994

Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Editors:

  1. Jean-Pierre Jouannaud
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 845)

Conference series link(s): CCL: International Conference on Constraints in Computational Logics

Conference proceedings info: CCL 1994.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (26 papers)

  1. Front Matter

    PDF

  2. Automated deduction with constraints

    • Wayne Snyder
    Pages 1-2

  3. Local simplification

    • Christopher Lynch
    Pages 3-18

  5. Ordered Binary Decision Diagrams and the Davis-Putnam procedure

    • Tomás E. Uribe, Mark E. Stickel
    Pages 34-49

  7. Constraints for polymorphic behaviours of concurrent ML

    • Flemming Nielson, Hanne Riis Nielson
    Pages 73-88

  9. Modular AC unification of higher-order patterns

    • Zhenyu Qian, Kang Wang
    Pages 105-120

  11. “Syntactic” AC-unification

    • Alexandre Boudet, Evelyne Contejean
    Pages 136-151

  12. Applications of constraint logic programming

    • Helmut Simonis
    Pages 152-153

  15. Application of constraint logic programming for VLSI CAD tools

    • Renate Beckmann, Ulrich Bieker, Ingolf Markhof
    Pages 183-200

  16. Path consistency in clp(FD)

    • Philippe Codognet, Giuseppe Nardiello
    Pages 201-216

  17. Symbolic constraints and tree automata

    • Max Dauchet
    Pages 217-218

  18. A record calculus with principal types

    • Andreas V. Hense, Gert Smolka
    Pages 219-236

  19. ECOLOG: an Environment for constraint logics

    • Marianne Haberstrau
    Pages 237-252

  20. On modularity in term rewriting and narrowing

    • Christian Prehofer
    Pages 253-268
Back to top

Other Volumes

  1. Constraints in Computational Logics

Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation