01385nam--2200385---45--9900004807202033163-540-42117-30048072USA010048072(ALEPH)000048072USA01004807220010530d2001----km-y0ITAy0103-------baENGDERewrinting techniques and applications12 th International Conference, RTA 2001Utrecht, the Netherlands, May 22-24, 2001proceedingsAart Middeldorp (ed.)Berlin [etc.]Sprnger-Verlagcopyr. 2001XII, 361 p.ill.20 cmLecture notes in computer science20512001Lecture notes in computer science2051Elaboratori elettroniciProgrammazioneCongressiAlgoritmiCongressi2001CongressiUtrecht2001005.13Middeldorp,AartInternational Conference, RTA 2001 <12. ; 2001 ; Utrecht, The Netherlands>545489ITACBSISBD990000480720203316001 LNCS (2051)0026427 CBS00100104799BKSCIALANDI9020010530USA01101320020403USA011656PATRY9020040406USA011633Rewrinting techniques and applications888736UNISA