| Record ID | marc_loc_updates/v36.i42.records.utf8:5891351:1198 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i42.records.utf8:5891351:1198?format=raw |
LEADER: 01198cam a22003137a 4500
001 2005937699
003 DLC
005 20081015072550.0
008 051122s2005 gw a b 011 0 eng d
010 $a 2005937699
020 $a354030911X
020 $a9783540309116
035 $a(OCoLC)ocm62607951
040 $aHNK$cHNK$dDLC
042 $alccopycat
050 00 $aQA9.5$b.P76 2005
245 00 $aProcesses, terms and cycles :$bsteps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /$cAart Middeldorp ... [et al.] (eds.).
260 $aBerlin :$bSpringer-Verlag,$cc2005.
300 $axviii, 638 p. :$bill.
440 0 $aLecture notes in computer science ;$v3838
504 $aIncludes bibliographical references and index.
650 0 $aLambda calculus.
650 0 $aRewriting systems (Computer science)
650 0 $aMachine theory.
700 1 $aMiddeldorp, Aart,$d1963-
700 1 $aKlop, J. W.
710 2 $aSpringerLink (Online service)
856 40 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3838
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005937699-d.html