LEADER 01326nam--2200409---450- 001 990003073440203316 005 20080303140559.0 010 $a3-540-35462-X 035 $a000307344 035 $aUSA01000307344 035 $a(ALEPH)000307344USA01 035 $a000307344 100 $a20080303d2006----km-y0itay50------ba 101 $aeng 102 $aDE 105 $aa---||||001yy 200 1 $aAlgebra, meaning, and computation$eessays dedicated to Joseph A. Gougen on the occasion of his 65th birthday$fKokichi Futatsugi, Jean-Pierre Jouannaud, Josè Meseguer (eds.) 210 $aBerlin (etc.)$cSpringer$dcopyr. 2006 215 $aXXXVIII, 642 p.$cill.$d24 cm 225 2 $aLecture Notes in Computer Science$iFestschrigt$v4060 410 0$12001$aLecture Notes in Computer Science$v4060 454 1$12001 461 1$1001-------$12001 606 0 $aSoftware per computer 610 0 $aAlgebra 676 $a005.1 700 1$aFUTATSUGI,$bKokichi$0600444 702 1$aJOUANNAUD,$bJean-Pierre 702 1$aMESEGUER,$bJosè 801 0$aIT$bsalbc$gISBD 912 $a990003073440203316 951 $a001 LNCS 4060$b33884/CBS$c001$d00217147 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20080303$lUSA01$h1405 996 $aAlgebra, meaning, and computation$91023467 997 $aUNISA