Skip to main content
SpringerLink
Log in
Book cover

Constraints in Computational Logics: Theory and Applications

International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

  • Textbook
  • © 2001

Overview

Editors:
  1. Gerhard Goos

    1. Karlsruhe University, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juris Hartmanis

    1. Cornell University, NY, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jan Leeuwen

    1. Utrecht University, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Hubert Comon

    1. Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, Cachan Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Claude Marché

    1. Laboratoire de Recherche en Informatique, Université Paris-Sud, Orsay Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Ralf Treinen

    1. Laboratoire de Recherche en Informatique, Université Paris-Sud, Orsay Cedex, France

    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 2002)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Constraints and Constraint Solving: An Introduction

    • Jean-Pierre Jouannaud, Ralf Treinen
    Pages 1-46

  3. Constraint Solving on Terms

    • Hubert Comon, Claude Kirchner
    Pages 47-103

  4. Combining Constraint Solving

    • Franz Baader, Klaus U. Schulz
    Pages 104-158

  5. Constraints and Theorem Proving

    • Harald Ganzinger, Robert Nieuwenhuis
    Pages 159-201

  6. Functional and Constraint Logic Programming

    • Mario Rodríguez-Artalejo
    Pages 202-270

  7. Building Industrial Applications with Constraint Programming

    • Helmut Simonis
    Pages 271-309
Back to top

Keywords

About this book

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.
This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.

Editors and Affiliations

  • Karlsruhe University, Germany

    Gerhard Goos

  • Cornell University, NY, USA

    Juris Hartmanis

  • Utrecht University, The Netherlands

    Jan Leeuwen

  • Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, Cachan Cedex, France

    Hubert Comon

  • Laboratoire de Recherche en Informatique, Université Paris-Sud, Orsay Cedex, France

    Claude Marché, Ralf Treinen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation