↓ 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 Rewriting Logic and Maude: Concepts and Applications
  3. Altmetric Badge
    Chapter 2 Tree Automata and Term Rewrite Systems
  4. Altmetric Badge
    Chapter 3 Absolute Explicit Unification
  5. Altmetric Badge
    Chapter 4 Termination and Confluence of Higher-Order Rewrite Systems
  6. Altmetric Badge
    Chapter 5 A de Bruijn Notation for Higher-Order Rewriting
  7. Altmetric Badge
    Chapter 6 Rewriting Techniques in Theoretical Physics
  8. Altmetric Badge
    Chapter 7 Normal Forms and Reduction for Theories of Binary Relations
  9. Altmetric Badge
    Chapter 8 Parallelism Constraints
  10. Altmetric Badge
    Chapter 9 Linear Higher-Order Matching Is NP-Complete
  11. Altmetric Badge
    Chapter 10 Standardization and Confluence for a Lambda Calculus with Generalized Applications
  12. Altmetric Badge
    Chapter 11 Linear Second-Order Unification and Context Unification with Tree-Regular Constraints
  13. Altmetric Badge
    Chapter 12 Word Problems and Confluence Problems for Restricted Semi-Thue Systems
  14. Altmetric Badge
    Chapter 13 The Explicit Representability of Implicit Generalizations
  15. Altmetric Badge
    Chapter 14 On the Word Problem for Combinators
  16. Altmetric Badge
    Chapter 15 Rewriting Techniques and Applications
  17. Altmetric Badge
    Chapter 16 Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
  18. Altmetric Badge
    Chapter 17 Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability
  19. Altmetric Badge
    Chapter 18 System Description: The Dependency Pair Method
  20. Altmetric Badge
    Chapter 19 REM (Reduce Elan Machine): Core of the New ELAN Compiler
  21. Altmetric Badge
    Chapter 20 TALP: A Tool for the Termination Analysis of Logic Programs
Attention for Chapter 5: A de Bruijn Notation for Higher-Order Rewriting
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
4 Mendeley
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 de Bruijn Notation for Higher-Order Rewriting
Chapter number 5
Book title
Rewriting Techniques and Applications
Published by
Springer, Berlin, Heidelberg, July 2000
DOI 10.1007/10721975_5
Book ISBNs
978-3-54-067778-9, 978-3-54-044980-5
Authors

Eduardo Bonelli, Delia Kesner, Alejandro Ríos, Bonelli, Eduardo, Kesner, Delia, Ríos, Alejandro

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
France 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Professor 1 25%
Student > Ph. D. Student 1 25%
Professor > Associate Professor 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Unknown 1 25%