Vademecum of divergent term rewriting systems
| Author(s) : | Miki Hermann, |
| Publisher : | N/A |
| Publication Date : | 1988 |
| ISSN : | N/A |
| Abstract : | This paper presents two structural patterns to detect divergence of the completion procedure, followed by a detailed overview of dioeerent examples of divergent rewrite systems. Further it introduces ve different empirical methods to avoid divergence, applicable during a session with a rewrite rule laboratory. 1, |