01329nam--2200361---45--99000300220020331620071030122037.03-540-25327-0000300220USA01000300220(ALEPH)000300220USA0100030022020071030d2005----km-y0ITAy0103-------baengDERecent trends in algebraic development tecniques17th International Workshop,WADT 2004Barcelona, Spain, March 27-29, 2004revised selected papersJosé Luiz Fiadeiro...[et al.] (eds.)Berlin [etc.]Springer[c2005]VIII, 269 p.ill.20 cmLecture notes in computer science34232001Lecture notes in computer science3423Logica matematicaCongressiBarcellona2004Software sviluppoCongressiBarcellona2004005.131FIADEIRO,José LuizInternational Workshop,WADT 2004<17. ;2004 ;Barcellona>599008ITACBSISBD990003002200203316001 LNCS 342331866/CBS00100112414BKSCISENATORE9020071030USA011220Recent trends in algebraic development tecniques1024046UNISA