↓ Skip to main content
What is this page? Embed badge

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 Solved Forms for Path Ordering Constraints
  3. Altmetric Badge
    Chapter 2 Jeopardy
  4. Altmetric Badge
    Chapter 3 Strategic Pattern Matching
  5. Altmetric Badge
    Chapter 4 On the Strong Normalization of Natural Deduction with Permutation-Conversions
  6. Altmetric Badge
    Chapter 5 Normalisation in Weakly Orthogonal Rewriting
  7. Altmetric Badge
    Chapter 6 Strong Normalization of Proof Nets Modulo Structural Congruences
  8. Altmetric Badge
    Chapter 7 Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas
  9. Altmetric Badge
    Chapter 8 Undecidability of the $$ \exists ^ * \forall ^ * $$ Part of the Theory of Ground Term Algebra Modulo an AC Symbol
  10. Altmetric Badge
    Chapter 9 Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting
  11. Altmetric Badge
    Chapter 10 A New Result about the Decidability of the Existential One-Step Rewriting Theory
  12. Altmetric Badge
    Chapter 11 A Fully Syntactic AC-RPO
  13. Altmetric Badge
    Chapter 12 Theory Path Orderings
  14. Altmetric Badge
    Chapter 13 A Characterisation of Multiply Recursive Functions with Higman’s Lemma
  15. Altmetric Badge
    Chapter 14 Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
  16. Altmetric Badge
    Chapter 15 Normalization via Rewrite Closures
  17. Altmetric Badge
    Chapter 16 Test Sets for the Universal and Existential Closure of Regular Tree Languages
  18. Altmetric Badge
    Chapter 17 Higher-Order Rewriting
  19. Altmetric Badge
    Chapter 18 The Maude System
  20. Altmetric Badge
    Chapter 19 TOY : A Multiparadigm Declarative System
  21. Altmetric Badge
    Chapter 20 UniMoK: A System for Combining Equational Unification Algorithms
  22. Altmetric Badge
    Chapter 21 $$ \overrightarrow {LR} ^2 $$ : A Laboratory for Rapid Term Graph Rewriting
  23. Altmetric Badge
    Chapter 22 Decidability for Left-Linear Growing Term Rewriting Systems
  24. Altmetric Badge
    Chapter 23 Transforming Context-Sensitive Rewrite Systems
  25. Altmetric Badge
    Chapter 24 Context-Sensitive AC-rewriting
  26. Altmetric Badge
    Chapter 25 The Calculus of Algebraic Constructions
  27. Altmetric Badge
    Chapter 26 HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
  28. Altmetric Badge
    Chapter 27 On the Connections between Rewriting and Formal Language Theory
  29. Altmetric Badge
    Chapter 28 A Rewrite System Associated with Quadratic Pisot Units
  30. Altmetric Badge
    Chapter 29 Fast Rewriting of Symmetric Polynomials
  31. Altmetric Badge
    Chapter 30 On Implementation of Tree Synchronized Languages
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
11 Mendeley
Summary X Dimensions citations
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, July 2003
DOI 10.1007/3-540-48685-2
ISBNs
978-3-54-066201-3, 978-3-54-048685-5
Editors

Narendran, Paliath, Rusinowitch, Michael

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.