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

Rewriting, Computation and Proof

Overview of attention for book
Cover of 'Rewriting, Computation and Proof'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Hydra Battle Revisited
  3. Altmetric Badge
    Chapter 2 Orderings and Constraints: Theory and Practice of Proving Termination
  4. Altmetric Badge
    Chapter 3 Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
  5. Altmetric Badge
    Chapter 4 Computability Closure: Ten Years Later
  6. Altmetric Badge
    Chapter 5 Reduction Strategies and Acyclicity
  7. Altmetric Badge
    Chapter 6 Towards Rewriting in Coq
  8. Altmetric Badge
    Chapter 7 Superdeduction at Work
  9. Altmetric Badge
    Chapter 8 Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ -Calculus
  10. Altmetric Badge
    Chapter 9 Linear Recursive Functions
  11. Altmetric Badge
    Chapter 10 Deducibility Constraints, Equational Theory and Electronic Money
  12. Altmetric Badge
    Chapter 11 Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
  13. Altmetric Badge
    Chapter 12 Towards Modular Algebraic Specifications for Pointer Programs: A Case Study
  14. Altmetric Badge
    Chapter 13 Modeling Permutations in Coq for Coccinelle
Attention for Chapter 4: Computability Closure: Ten Years Later
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.