| Record ID | marc_loc_2016/BooksAll.2016.part13.utf8:70956343:964 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part13.utf8:70956343:964?format=raw |
LEADER: 00964cam a2200265 i 4500
001 80621696
003 DLC
005 20130411081459.0
008 800918s1979 ilua b s000 0 eng
010 $a 80621696
040 $aDLC$cDLC$dDLC
050 00 $aQA76$b.I4 no. 981$aQA9.5
082 00 $a001.64 s$a511.3$219
100 1 $aBrown, Thomas C.
245 10 $aCanonical simplification of finite objects, well quasi-ordered by tree embedding /$cThomas C. Brown, Jr.
260 $aUrbana, Ill. :$bDept. of Computer Science, University of Illinois at Urbana-Champaign,$c[1979]
300 $a33 p. :$bill. ;$c28 cm.
490 1 $a[Report] - UIUCDCS-R-79-; 981
500 $a"UILU-ENG 79 1727."
504 $aBibliography: p. 31-33.
650 0 $aLambda calculus.
650 0 $aTrees (Graph theory)
650 0 $aDirected graphs.
650 0 $aEmbeddings (Mathematics)
810 1 $aIllinois.$bUniversity at Urbana-Champaign.$bDepartment of Computer Science.$tReport ;$v981.