01518nam2-2200421li-450 99000021069020331620180312154822.03-540-59340-30021069USA010021069(ALEPH)000021069USA01002106920001109d1995----km-y0itay0103----baengGWTerm RewritingFrench Spring School of theoretical computer science, Font Romeux, France, May 17-21, 1993advanced courseHubert Comon, Jean-Pierre Jouannaud (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 221 p.ill.25 cmLecture notes in computer science90900100202642001Lecture notes in computer sciencecongressifont romeux1993elaboratori elettroniciprogrammazionecongressi1993linguaggi formalicongressi19930051Programmazione. Tecnica di sviluppo dei programmiComon,HubertJouannaud,Jean-PierreSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210690203316001 LNCS (909)001766900100103728BKSCI1996011220001110USA011714ALANDI9020010131USA01114420020403USA011629PATRY9020040406USA011615Term Rewriting1501997UNISA