Table of contents

  1. Front Matter
  2. J. C. M. Baeten, W. P. Weijland
    Pages 3-14
  3. Wadoud Bousdira, Jean-Luc Rémy
    Pages 15-30
  4. Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
    Pages 31-44
  5. Nachum Dershowitz, G. Sivakumar
    Pages 45-55
  6. Alfons Geser, Heinrich Hussmann, Andreas Mück
    Pages 84-90
  7. E. Giovannetti, C. Moiso
    Pages 91-97
  8. Irène Guessarian
    Pages 98-110
  9. Thierry Heuillard
    Pages 111-128
  10. Stéphane Kaplan
    Pages 129-143
  11. Emmanuel Kounalis, Michael Rusinowitch
    Pages 144-160
  12. Chilukuri K. Mohan, Mandayam K. Srivas
    Pages 161-178
  13. Alex Pelin
    Pages 197-211
  14. David A. Plaisted
    Pages 212-227
  15. J. Avenhaus, R. Göbel, B. Gramlich, K. Madlener, J. Steinbach
    Pages 245-248
  16. Hubert Bertling, Harald Ganzinger, Renate Schäfers
    Pages 249-250
  17. Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
    Pages 251-252
  18. Wadoud Bousdira, Jean-Luc Rémy
    Pages 253-257
  19. Joseph Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy Winkler
    Pages 258-263
  20. Tony Rush, Derek Coleman
    Pages 266-278

About these proceedings


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.


Conditional Equations logic semantics term rewriting theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19242-8
  • Online ISBN 978-3-540-39166-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software