Orderings for term-rewriting systems /
Nachum Dershowitz.

Description

Main Author: Dershowitz, Nachum.
Related Names: University of Illinois at Urbana-Champaign. Dept. of Computer Science.
National Science Foundation (U.S.)
Language(s): English
Published: Urbana, Illinois : Dept. of Computer Science, University of Illinois at Urbana-Champaign, August 1979.
Subjects: Recursive functions.
Computer programs.
Note: "Research supported in part under NSF grant MCS 77-22830."
"UIUCDCS-R-79-987"
Physical Description: 30 pages ; 28 cm.
Locate a Print Version: Find in a library

Item Link	Original Source
Full view Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.987	University of Illinois at Urbana-Champaign