01268nam--2200385---450-99000309207020331620080408093232.0978-3-540-73146-7000309207USA01000309207(ALEPH)000309207USA0100030920720080408d2007----km-y0itay50------baengDEa---||||001yyRewriting, computation and proofessays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthdayHubert Comon-Lundh, Claude Kirchner, Helene Kirchner (eds.)Berlin (etc.)Springercopyr. 2007XVI, 272 p.ill.24 cmLecture notes in computer scienceFestschrift46002001Lecture notes in computer science4600ProgrammazioneSistemi di riscrittura005.1COMON-LUNDH,HubertKIRCHNER,ClaudeKIRCHNER,HélèneITsalbcISBD990003092070203316001 LNCS 460035144/CBS00100224767BKSCIANGELA9020080408USA010932Rewriting, Computation and Proof772648UNISA