↓ 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
Attention for Chapter 13: A Characterisation of Multiply Recursive Functions with Higman’s Lemma
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 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.
Chapter title
A Characterisation of Multiply Recursive Functions with Higman’s Lemma
Chapter number 13
Book title
Rewriting Techniques and Applications
Published in
Lecture notes in computer science, July 1999
DOI 10.1007/3-540-48685-2_13
Book ISBNs
978-3-54-066201-3, 978-3-54-048685-5
Authors

Héléne Touzet

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.
 Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 15 July 2014.
All research outputs
#18,375,064
of 22,758,963 outputs
Outputs from Lecture notes in computer science
#6,007
of 8,126 outputs
Outputs of similar age
#33,234
of 34,657 outputs
Outputs of similar age from Lecture notes in computer science
#8
of 9 outputs
Altmetric has tracked 22,758,963 research outputs across all sources so far. This one is in the 11th percentile – i.e., 11% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,126 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 14th percentile – i.e., 14% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 34,657 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 2nd percentile – i.e., 2% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 9 others from the same source and published within six weeks on either side of this one.

This page is provided by Altmetric.