01484nam2-2200409li-450 99000020481020331620180312154623.03-540-56393-80020481USA010020481(ALEPH)000020481USA01002048120001109d1993----km-y0itay0103----baengGWConditional term rewriting systemsthird International workshop, CTRS'92Pont-à-Mousson, France, July 8-10, 1992proceedingsM. Rusinowitch, (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993XI, 501 p.ill.24 cmLecture notes in computer science65600100202642001Lecture notes in computer sciencecongressipont-a-mousson1992grafica con gli elaboratoricongressi1992linguaggi di programmazionecongressi19920066Grafica con gli eleboratoriRusinowitch,MichaëlInternational workshop CTRS-923.Pont-á-Mousson1992745739Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204810203316001 LNCS (656)0015101BKSCI1994120120001110USA01171420020403USA011628PATRY9020040406USA011615Conditional term rewriting systems1487601UNISA