LEADER 01268nam--2200385---450-
001 990003092070203316
005 20080408093232.0
010   $a978-3-540-73146-7
035   $a000309207
035   $aUSA01000309207
035   $a(ALEPH)000309207USA01
035   $a000309207
100   $a20080408d2007----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aRewriting, computation and proof$eessays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday$fHubert Comon-Lundh, Claude Kirchner, Helene Kirchner (eds.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2007
215   $aXVI, 272 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$iFestschrift$v4600
410  0$12001$aLecture notes in computer science$v4600
606 0 $aProgrammazione
610 0 $aSistemi di riscrittura
676   $a005.1
702  1$aCOMON-LUNDH,$bHubert
702  1$aKIRCHNER,$bClaude
702  1$aKIRCHNER,$bHélène
801  0$aIT$bsalbc$gISBD
912   $a990003092070203316
951   $a001 LNCS 4600$b35144/CBS$c001$d00224767
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080408$lUSA01$h0932
996   $aRewriting, Computation and Proof$9772648
997   $aUNISA