Skip to main content
SpringerLink
Log in
Book cover

Conditional and Typed Rewriting Systems

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

  • Conference proceedings
  • © 1995

Overview

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)

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

  1. Front Matter

    Download chapter 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

  6. Preserving confluence for rewrite systems with built-in operations

    • Reinhard Bündgen
    Pages 71-88

  7. Hierarchical termination

    • Nachum Dershowitz
    Pages 89-105

  8. Well-foundedness of term orderings

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

  9. A new characterisation of AC-termination and application

    • Jean-Michel Gélis
    Pages 124-143

  10. Relative normalization in orthogonal expression reduction systems

    • John Glauert, Zurab Khasidashvili
    Pages 144-165

  11. On termination and confluence of conditional rewrite systems

    • Bernhard Gramlich
    Pages 166-185

  12. How to transform canonical decreasing CTRSs into equivalent canonical TRSs

    • Claus Hintermeier
    Pages 186-205

  13. Termination for restricted derivations and conditional rewrite systems

    • Charles Hoot
    Pages 206-222

  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

  16. A conflict between call-by-need computation and parallelism

    • Richard Kennaway
    Pages 247-261

  17. The complexity of testing ground reducibility for linear word rewriting systems with variables

    • Gregory Kucherov, Michaël Rusinowitch
    Pages 262-275

  18. Coherence for cartesian closed categories: A sequential approach

    • Akira Mori, Yoshihiro Matsumoto
    Pages 276-295

  19. Modular properties of constructor-sharing conditional term rewriting systems

    • Enno Ohlebusch
    Pages 296-315

  20. Church-Rosser property and unique normal form property of non-duplicating term rewriting systems

    • Yoshihito Toyama, Michio Oyamaguchi
    Pages 316-331
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation