| Record ID | ia:orderingsforterm987ders |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/orderingsforterm987ders/orderingsforterm987ders_marc.xml |
| Download MARC binary | https://www.archive.org/download/orderingsforterm987ders/orderingsforterm987ders_meta.mrc |
LEADER: 01027nam 2200265Ia 4500
001 7216057
005 20130426091703.0
008 130426s1979 ilua b s000 0 eng d
035 $a(OCoLC)ocn840918428
040 $aUIU$cUIU
049 $aUIUU
100 1 $aDershowitz, Nachum.
245 10 $aOrderings for term-rewriting systems /$cNachum Dershowitz.
260 $aUrbana, Illinois :$bDept. of Computer Science, University of Illinois at Urbana-Champaign,$cAugust 1979.
300 $a30 pages ;$c28 cm.
490 1 $aReport ;$vno. 987
500 $a"UIUCDCS-R-79-987"
500 $a"Research supported in part under NSF grant MCS 77-22830."
504 $aIncludes bibliographical references (p. 29-30).
650 0 $aComputer programs.
650 0 $aRecursive functions.
710 2 $aNational Science Foundation (U.S.)
710 2 $aUniversity of Illinois at Urbana-Champaign.$bDept. of Computer Science.
830 0 $aReport (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;$vno. 987.
994 $aC0$bUIU