RRL: A rewrite rule laboratory

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 691-692
https://doi.org/10.1007/3-540-16780-3_140

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

Proof by induction using test sets
Published by Springer Nature ,1986
Termination
Published by Springer Nature ,1985
On proving inductive properties of abstract data types
Published by Association for Computing Machinery (ACM) ,1980
Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
Published by Elsevier ,1970