LEADER 01236nam--2200361---450-
001 990003070960203316
005 20080410124910.0
010   $a3-540-30911-X
035   $a000307096
035   $aUSA01000307096
035   $a(ALEPH)000307096USA01
035   $a000307096
100   $a20080227d2005----km-y0itay50------ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aProcesses, Terms and Cycles: Steps on the Road to Infinity$eEssays dedicated to Jan Willem Klop on the occasion of his 60th birthday$fAart Middeldorp [et al.] (Eds.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2005
215   $aXVIII, 638 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$iFestschrift$v3838
410  0$12001$aLecture notes in computer science$v3838
606 0 $aLogica matematica$xProcessi
676   $a511.3
702  1$aMIDDELDORP,$bAart
801  0$aITA$bsalbc$gISBD
912   $a990003070960203316
951   $a001 LNCS 3838$b32915/CBS$c001$d00112959
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080227$lUSA01$h0952
979   $aANGELA$b90$c20080410$lUSA01$h1249
996   $aProcesses, Terms and Cycles: Steps on the Road to Infinity$9772136
997   $aUNISA