Rewriting Techniques and Applications

Overview of attention for book

Cover of 'Rewriting Techniques and Applications'

Table of Contents

Altmetric Badge

Book Overview

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

wikipedia: 1 Wikipedia page

Citations

dimensions_citation: 2 Dimensions

Summary Wikipedia Dimensions citations

So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

Adapting functional programs to higher order logic

Article in Higher-Order and Symbolic Computation (October 2008)

The Combinator S

Article in Information and Computation (May 2000)

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

Click here to find out how to access more activity.