ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS
- 1 January 1995
- journal article
- Published by SAGE Publications in Fundamenta Informaticae
- Vol. 24 (1,2) , 3-23
- https://doi.org/10.3233/fi-1995-24121
Abstract
We investigate restricted termination and confluence properties of term rewriting systems, in particular weak termination, weak innermost termination, (strong) innermost termination, (strong) termination, and their interrelations. New criteria are prThis publication has 0 references indexed in Scilit: