Automatic termination proofs with transformation orderings

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 11-25
https://doi.org/10.1007/3-540-59200-8_44

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Rewrite Systems
Published by Elsevier ,1990
Commutation, transformation, and termination
Published by Springer Nature ,1986