Skip to main content
SpringerLink
Log in

Constraints in Computational Logics

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

  • Conference proceedings
  • © 1994

Overview

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)

Included in the following conference series:

Conference proceedings info: CCL 1994.

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

Access this book

Log in via an institution
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 (26 papers)

  1. Higher order conditional rewriting and narrowing

    • Jürgen Avenhaus, Carlos Loría-Sáenz
    Pages 269-284

  2. Buchberger's algorithm: A constraint-based completion procedure

    • Leo Bachmair, Harald Ganzinger
    Pages 285-301

  3. Set constraints and logic programming

    • Dexter Kozen
    Pages 302-303

  4. Set constraints in some equational theories

    • Witold Charatonik
    Pages 304-319

  5. How to win a game with features

    • Rolf Backofen, Ralf Treinen
    Pages 320-335

  6. Some new decidability results on positive and negative set constraints

    • Rémi Gilleron, Sophie Tison, Marc Tommasi
    Pages 336-351

  7. Solving simplification ordering constraints

    • Patricia Johann, Rolf Socher-Ambrosius
    Pages 352-367

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Constraints in Computational Logics

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation