Orderings for term-rewriting systems
By: Nachum Dershowitz
Contributors: National Science Foundation (U.S.); University of Illinois at Urbana-Champaign. Dept. of Computer Science
Series: Report -- no. 987; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 987.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana, Illinois
Language: eng
Number of pages: 30
Subjects: Computer programs; Recursive functions
Notes: "UIUCDCS-R-79-987"

"Research supported in part under NSF grant MCS 77-22830."

Includes bibliographical references (p. 29-30).