↓ Skip to main content

Conditional Term Rewriting Systems

Overview of attention for book
Cover of 'Conditional Term Rewriting Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Semantics for Prolog via term rewrite systems
  3. Altmetric Badge
    Chapter 2 Hierarchical contextual rewriting with several levels
  4. Altmetric Badge
    Chapter 3 Confluence of conditional rewrite systems
  5. Altmetric Badge
    Chapter 4 Solving goals in equational languages
  6. Altmetric Badge
    Chapter 5 On the use of conditional rewrite rules in inductive theorem proving
  7. Altmetric Badge
    Chapter 6 A completion procedure for conditional equations
  8. Altmetric Badge
    Chapter 7 A compiler for a class of conditional term rewriting systems
  9. Altmetric Badge
    Chapter 8 Notes on the elimination of conditions
  10. Altmetric Badge
    Chapter 9 Equational axiomatizations of if-then-else
  11. Altmetric Badge
    Chapter 10 Compiling conditional rewriting systems
  12. Altmetric Badge
    Chapter 11 Positive/negative conditional rewriting
  13. Altmetric Badge
    Chapter 12 On word problems in Horn theories
  14. Altmetric Badge
    Chapter 13 Conditional specifications with inequational assumptions
  15. Altmetric Badge
    Chapter 14 A logical analysis on theory of conditional rewriting
  16. Altmetric Badge
    Chapter 15 Computing with conditional rewrite rules
  17. Altmetric Badge
    Chapter 16 A logic for conditional term rewriting systems
  18. Altmetric Badge
    Chapter 17 Confluent term rewriting systems with membership conditions
  19. Altmetric Badge
    Chapter 18 TRSPEC: A term rewriting based system for algebraic specifications
  20. Altmetric Badge
    Chapter 19 CEC: A system for the completion of conditional equational specifications
  21. Altmetric Badge
    Chapter 20 Asspegique
  22. Altmetric Badge
    Chapter 21 REVEUR4: A laboratory for conditional rewriting
  23. Altmetric Badge
    Chapter 22 An introduction to OBJ 3
  24. Altmetric Badge
    Chapter 23 The Passau RAP system: Rapid prototyping for algebraic specifications
  25. Altmetric Badge
    Chapter 24 Architecture for conditional term rewriting
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Conditional Term Rewriting Systems
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-19242-5
ISBNs
978-3-54-019242-8, 978-3-54-039166-1
Editors

Kaplan, S., Jouannaud, J. -P.