↓ Skip to main content

Conditional and Typed Rewriting Systems

Overview of attention for book
Cover of 'Conditional and Typed Rewriting Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 77 Conditional rewriting in focus
  3. Altmetric Badge
    Chapter 78 A maximal-literal unit strategy for horn clauses
  4. Altmetric Badge
    Chapter 79 Extended term rewriting systems
  5. Altmetric Badge
    Chapter 80 A proof system for conditional algebraic specifications
  6. Altmetric Badge
    Chapter 81 Conditional rewriting logic: Deduction, models and concurrency
  7. Altmetric Badge
    Chapter 82 Equivalences of rewrite programs
  8. Altmetric Badge
    Chapter 83 On finite representations of infinite sequences of terms
  9. Altmetric Badge
    Chapter 84 Infinite terms and infinite rewritings
  10. Altmetric Badge
    Chapter 85 Testing confluence of nonterminating rewriting systems
  11. Altmetric Badge
    Chapter 86 A survey of ordinal interpretations of type ɛ 0 for termination of rewriting systems
  12. Altmetric Badge
    Chapter 87 Meta-rule synthesis from crossed rewrite systems
  13. Altmetric Badge
    Chapter 88 An application of automated equational reasoning to many-valued logic
  14. Altmetric Badge
    Chapter 89 Completion of first-order clauses with equality by strict superposition
  15. Altmetric Badge
    Chapter 90 Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
  16. Altmetric Badge
    Chapter 91 Proof by consistency in conditional equational theories
  17. Altmetric Badge
    Chapter 92 Completion procedures as semidecision procedures
  18. Altmetric Badge
    Chapter 93 Errata corrige
  19. Altmetric Badge
    Chapter 94 Linear completion
  20. Altmetric Badge
    Chapter 95 Clausal rewriting
  21. Altmetric Badge
    Chapter 96 Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
  22. Altmetric Badge
    Chapter 97 On sufficient completeness of conditional specifications
  23. Altmetric Badge
    Chapter 98 FPL : Functional plus logic programming an integration of the FP and Prolog languages
  24. Altmetric Badge
    Chapter 99 Confluence of the disjoint union of conditional term rewriting systems
  25. Altmetric Badge
    Chapter 100 Implementing term rewriting by graph reduction: Termination of combined systems
  26. Altmetric Badge
    Chapter 101 Compiling concurrent rewriting onto the Rewrite Rule Machine
  27. Altmetric Badge
    Chapter 102 Design strategies for rewrite rules
  28. Altmetric Badge
    Chapter 103 A simplifier for untyped lambda expressions
  29. Altmetric Badge
    Chapter 104 Parallel graph rewriting on loosely coupled machine architectures
  30. Altmetric Badge
    Chapter 105 Typed equivalence, type assignment, and type containment
  31. Altmetric Badge
    Chapter 106 A fixed-point semantics for feature type systems
  32. Altmetric Badge
    Chapter 107 Unique-sort order-sorted theories : A description as monad morphisms
  33. Altmetric Badge
    Chapter 108 Equational logics (birkhoff's method revisited)
  34. Altmetric Badge
    Chapter 109 Compatibility of order-sorted rewrite rules
  35. Altmetric Badge
    Chapter 110 An universal termination condition for solving goals in equational languages
  36. Altmetric Badge
    Chapter 111 Constrained equational deduction
  37. Altmetric Badge
    Chapter 112 Higher-order unification, polymorphism, and subsorts
  38. Altmetric Badge
    Chapter 113 Second-order unification in the presence of linear shallow algebraic equations
  39. Altmetric Badge
    Chapter 114 An inference system for horn clause logic with equality
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

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.
Title
Conditional and Typed Rewriting Systems
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-54317-1
ISBNs
978-3-54-054317-6, 978-3-54-047558-3
Editors

Kaplan, S., Okada, M.

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 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Student > Doctoral Student 1 25%
Unspecified 1 25%
Unknown 1 25%
Readers by discipline Count As %
Philosophy 1 25%
Unspecified 1 25%
Computer Science 1 25%
Unknown 1 25%