01326nam--2200409---450-99000307344020331620080303140559.03-540-35462-X000307344USA01000307344(ALEPH)000307344USA0100030734420080303d2006----km-y0itay50------baengDEa---||||001yyAlgebra, meaning, and computationessays dedicated to Joseph A. Gougen on the occasion of his 65th birthdayKokichi Futatsugi, Jean-Pierre Jouannaud, Josè Meseguer (eds.)Berlin (etc.)Springercopyr. 2006XXXVIII, 642 p.ill.24 cmLecture Notes in Computer ScienceFestschrigt40602001Lecture Notes in Computer Science40602001001-------2001Software per computerAlgebra005.1FUTATSUGI,Kokichi600444JOUANNAUD,Jean-PierreMESEGUER,JosèITsalbcISBD990003073440203316001 LNCS 406033884/CBS00100217147BKSCIANGELA9020080303USA011405Algebra, meaning, and computation1023467UNISA