Item Details

Well-Founded Orderings for Proving Termination of Systems of Rewrite Rules

by David A. Plaisted
Format
Book; Online; EBook
Published
Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978.
Language
English
Series
Report (University of Illinois at Urbana-Champaign. Dept. Of Computer Science)
Description
34 p. ; 28 cm.
Mode of access: Internet.
Notes
Bibliography: p. 34.
Series Statement
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 932
Logo for Copyright Not EvaluatedCopyright Not Evaluated
Technical Details

  • LEADER 01708nam a2200385 i 4500
    001 100701788
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 791218s1978 ilu b s00010 engm
    035
      
      
    a| sdr-uiuc840611
    035
      
      
    9| ADL-5027
    035
      
      
    a| (OCoLC)5372057
    040
      
      
    a| DLC c| DLC d| m.c. d| UIU
    050
    0
      
    a| QA76 b| .I4 no. 932 a| QA76.6
    082
      
      
    a| 001.6/4/08 s a| 001.6/425
    100
    1
    0
    a| Plaisted, David A.
    245
    1
    0
    a| Well-founded orderings for proving termination of systems of rewrite rules / c| by David A. Plaisted.
    260
    0
      
    a| Urbana : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| 1978.
    300
      
      
    a| 34 p. ; c| 28 cm.
    490
      
    0
    a| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) v| no. 932
    500
      
      
    a| Bibliography: p. 34.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Recursive programming
    650
      
    0
    a| Computer programs x| Verification
    974
      
      
    8| ia.wellfoundedorder932plai b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t9b58420p z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 932 y| 1978 r| cc-by-nc-sa-3.0 q| con
    974
      
      
    b| UIU c| UIUC d| 20180314 s| google u| uiug.30112121956509 y| 1978 r| ic q| bib

Access online

Google Preview