Well-founded orderings for proving termination of systems of rewrite rules
By: by David A. Plaisted.
Series: UIUCDCS-R-78 ; 932
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1978
Place of publication: Urbana
Language: eng
Number of pages: 34
Subjects: Computer programs -- Verification; Recursive programming
Notes: Bibliography: p. 34.