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

Conditional and Typed Rewriting Systems

4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Editors:

  1. Nachum Dershowitz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Naomi Lindenstrauss
    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 968)

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 (21 papers)

  1. Front Matter

    PDF

  2. Associative-commutative superposition

    • Leo Bachmair, Harald Ganzinger
    Pages 1-14

  3. A calculus for rippling

    • David A. Basin, Toby Walsh
    Pages 15-30

  4. Equation solving in geometrical theories

    • Philippe Balbiani
    Pages 31-50

  5. LSE narrowing for decreasing conditional term rewrite systems

    • Alexander Bockmayr, Andreas Werner
    Pages 51-70

  7. Hierarchical termination

    • Nachum Dershowitz
    Pages 89-105

  8. Well-foundedness of term orderings

    • M. C. F. Ferreira, H. Zantema
    Pages 106-123

  10. Relative normalization in orthogonal expression reduction systems

    • John Glauert, Zurab Khasidashvili
    Pages 144-165

  14. Rewriting for preorder relations

    • Paola Inverardi
    Pages 223-234

  15. Strong sequentiality of left-linear overlapping rewrite systems

    • Jean-Pierre Jouannaud, Walid Sadfi
    Pages 235-246

  18. Coherence for cartesian closed categories: A sequential approach

    • Akira Mori, Yoshihiro Matsumoto
    Pages 276-295
Back to top

About this book

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994.
The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.
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