Item Details

Orderings for Term-Rewriting Systems

Nachum Dershowitz
Format
Book; Online; EBook
Published
Urbana, Illinois : Dept. of Computer Science, University of Illinois at Urbana-Champaign, August 1979.
Language
English
Series
Report
Description
30 pages ; 28 cm.
Mode of access: Internet.
Notes
  • "Research supported in part under NSF grant MCS 77-22830."
  • "UIUCDCS-R-79-987"
  • Includes bibliographical references (p. 29-30).
Series Statement
Report ; no. 987
Logo for Creative Commons Attribution, Share-alike, Non-commercial LicenseCreative Commons Attribution, Share-alike, Non-commercial License
Technical Details

  • LEADER 01706nam a2200397Ia 4500
    001 100700350
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 130426s1979 ilua b s000 0 eng d
    035
      
      
    a| sdr-uiuc7216057
    035
      
      
    a| (OCoLC)840918428
    040
      
      
    a| UIU c| UIU
    049
      
      
    a| UIUU
    100
    1
      
    a| Dershowitz, Nachum.
    245
    1
    0
    a| Orderings for term-rewriting systems / c| Nachum Dershowitz.
    260
      
      
    a| Urbana, Illinois : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| August 1979.
    300
      
      
    a| 30 pages ; c| 28 cm.
    490
    0
      
    a| Report ; v| no. 987
    500
      
      
    a| "Research supported in part under NSF grant MCS 77-22830."
    500
      
      
    a| "UIUCDCS-R-79-987"
    504
      
      
    a| Includes bibliographical references (p. 29-30).
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Recursive functions.
    650
      
    0
    a| Computer programs.
    710
    2
      
    a| University of Illinois at Urbana-Champaign. b| Dept. of Computer Science.
    710
    2
      
    a| National Science Foundation (U.S.)
    974
      
      
    8| ia.orderingsforterm987ders b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t8bg48c72 z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.987 y| 1979 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview