↓ Skip to main content

Rewriting Techniques and Applications

Overview of attention for book
Cover of 'Rewriting Techniques and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Basic features and development of the critical-pair/completion procedure
  3. Altmetric Badge
    Chapter 2 Contextual rewriting
  4. Altmetric Badge
    Chapter 3 Thue systems as rewriting systems
  5. Altmetric Badge
    Chapter 4 Deciding algebraic properties of monoids presented by finite church-rosser Thue systems
  6. Altmetric Badge
    Chapter 5 Two applications of equational theories to database theory
  7. Altmetric Badge
    Chapter 6 Rewriting Techniques and Applications
  8. Altmetric Badge
    Chapter 7 NARROWER: a new algorithm for unification and its application to Logic Programming
  9. Altmetric Badge
    Chapter 8 Solving type equations by graph rewriting
  10. Altmetric Badge
    Chapter 9 Termination
  11. Altmetric Badge
    Chapter 10 Path of subterms ordering and recursive decomposition ordering revisited
  12. Altmetric Badge
    Chapter 11 Associative path orderings
  13. Altmetric Badge
    Chapter 12 A procedure for automatically proving the termination of a set of rewrite rules
  14. Altmetric Badge
    Chapter 13 Petrireve: Proving Petri net properties with rewriting systems
  15. Altmetric Badge
    Chapter 14 Fairness in term rewriting systems
  16. Altmetric Badge
    Chapter 15 Two results in term rewriting theorem proving
  17. Altmetric Badge
    Chapter 16 Handling function definitions through innermost superposition and rewriting
  18. Altmetric Badge
    Chapter 17 An ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras
  19. Altmetric Badge
    Chapter 18 Combining unification algorithms for confined regular equational theories
  20. Altmetric Badge
    Chapter 19 An algebraic approach to unification under associativity and commutativity
  21. Altmetric Badge
    Chapter 20 Unification problems with one-sided distributivity
  22. Altmetric Badge
    Chapter 21 Fast many-to-one matching algorithms
  23. Altmetric Badge
    Chapter 22 Complexity of matching problems
  24. Altmetric Badge
    Chapter 23 The set of unifiers in typed λ-calculus as regular expression
  25. Altmetric Badge
    Chapter 24 Equational systems for category theory and intuitionistic logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
6 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
Rewriting Techniques and Applications
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-15976-2
ISBNs
978-3-54-015976-6, 978-3-54-039679-6
Editors

Jouannaud, Jean-Pierre