Termination of rewriting
By: Nachum Dershowitz.
Series: Report / Department of Computer Science, University of Illinois at Urbana-Champaign ;; no. UIUCDCS-R-85-1220; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-85-1220.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1985
Place of publication: Urbana, Ill. (1304 W. Springfield, Urbana 61801)
Language: eng
Number of pages: 58
Subjects: Automatic theorem proving.; Ordered sets.; Rewriting systems (Computer science)
Notes: Bibliography: p. 50-58.
"July 1985."
"August 1985"--Cover.
"UILU-ENG-85-1728"--Cover.