Skip to main content
SpringerLink
Log in

Conditional Term Rewriting Systems

1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. S. Kaplan
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. -P. 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 308)

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

  1. Front Matter

    Download chapter PDF

  2. Semantics for Prolog via term rewrite systems

    • J. C. M. Baeten, W. P. Weijland
    Pages 3-14

  3. Hierarchical contextual rewriting with several levels

    • Wadoud Bousdira, Jean-Luc Rémy
    Pages 15-30

  4. Confluence of conditional rewrite systems

    • Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
    Pages 31-44

  5. Solving goals in equational languages

    • Nachum Dershowitz, G. Sivakumar
    Pages 45-55

  6. On the use of conditional rewrite rules in inductive theorem proving

    • Laurent Fribourg
    Pages 56-61

  7. A completion procedure for conditional equations

    • Harald Ganzinger
    Pages 62-83

  8. A compiler for a class of conditional term rewriting systems

    • Alfons Geser, Heinrich Hussmann, Andreas Mück
    Pages 84-90

  9. Notes on the elimination of conditions

    • E. Giovannetti, C. Moiso
    Pages 91-97

  10. Equational axiomatizations of if-then-else

    • Irène Guessarian
    Pages 98-110

  11. Compiling conditional rewriting systems

    • Thierry Heuillard
    Pages 111-128

  12. Positive/negative conditional rewriting

    • Stéphane Kaplan
    Pages 129-143

  13. On word problems in Horn theories

    • Emmanuel Kounalis, Michael Rusinowitch
    Pages 144-160

  14. Conditional specifications with inequational assumptions

    • Chilukuri K. Mohan, Mandayam K. Srivas
    Pages 161-178

  15. A logical analysis on theory of conditional rewriting

    • Mitsuhiro Okada
    Pages 179-196

  16. Computing with conditional rewrite rules

    • Alex Pelin
    Pages 197-211

  17. A logic for conditional term rewriting systems

    • David A. Plaisted
    Pages 212-227

  18. Confluent term rewriting systems with membership conditions

    • Yoshihito Toyama
    Pages 228-241

  19. TRSPEC: A term rewriting based system for algebraic specifications

    • J. Avenhaus, R. Göbel, B. Gramlich, K. Madlener, J. Steinbach
    Pages 245-248

  20. CEC: A system for the completion of conditional equational specifications

    • Hubert Bertling, Harald Ganzinger, Renate Schäfers
    Pages 249-250
Back to top

Keywords

About this book

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the purpose of the workshop to put the results together, to present new, original contributions to the domain, and to discuss still unsolved issues. These contributions are reported in the proceedings. The main questions that have been addressed are the different semantics for conditional rewriting and their classification, possible extensions to the basic formalism, and the relationship between conditional rewriting and logic programming. Also, more practical issues such as applications and implementations of conditional term rewriting systems have been addressed. Descriptions of seven actual systems allowing conditional rewriting are included.

Bibliographic Information

  • Book Title: Conditional Term Rewriting Systems

  • Book Subtitle: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

  • Editors: S. Kaplan, J. -P. Jouannaud

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-19242-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-19242-8Published: 22 June 1988

  • eBook ISBN: 978-3-540-39166-1Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 284

  • Topics: Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation