01343nam--2200385---450-99000242452020331620050708145822.03-540-22153-0000242452USA01000242452(ALEPH)000242452USA0100024245220050527d2004----km-y0itay0103----baengDEa|||||||001yyRewriting Techniques and Applications15th International Conference, RTA 2004Aachen, Germany, June 3-5, 2004proceedingsVincent van Oostrom (Ed.)BerlinSpringer [etc.]copyr.2004X, 311 p.ill.24 cmLecture notes in computer science30912001Lecture notes in computer science3091Elaboratori elettroniciProgrammazioneCongressi2004AlgoritmiCongressi2004005.1OOSTROM,VincentvanInternational Conference, RTA 2004<15.;2004;Aachen>.573017ITsalbcISBD990002424520203316001 LNCS 309131165/CBS00100114768BKSCIANGELA9020050527USA011102ANGELA9020050708USA011458Rewriting Techniques and Applications1056589UNISA