01645nam2-2200433li-450 99000021070020331620180312154743.03-540-59200-80021070USA010021070(ALEPH)000021070USA01002107020001109d1995----km-y0itay0103----baengGWRewriting techniques and applications6th International conference, RTA-95Kaiserslautern, Germany, April5-7, 1995proceedingsJieh Hsiang (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995XII, 471 p.ill.25 cmLecture notes in computer science91400100202642001Lecture notes in computer scienceelaboratori elettroniciprogrammazionecongressi1995elaborazione elettronicamodelli matematicicongressi1995linguaggi formalicongressi19950051Programmazione. Tecnica di sviluppo dei programmiHsiang,JiehInternational conference RTA-956.Kaiserslautern1995747220Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210700203316001 LNCS (914)001743700100103688BKSCI1996011220001110USA011714ALANDI9020010131USA011150ALANDI9020010131USA01115020020403USA011629PATRY9020040406USA011615Rewriting techniques and applications1492516UNISA