01641nam2-2200433li-450 99000020487020331620180312154757.03-540-58233-90020487USA010020487(ALEPH)000020487USA01002048720001109d1994----km-y0itay0103----baengGWHigher-order algebra, logic and term rewritingfirst International workshop, HOA'93Amsterdam, The NetherlandsSeptember 23-24, 1993selected papersJan Heering ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1994344 p.ill.24 cmLecture notes in computer science81600100202642001Lecture notes in computer sciencecongressiamsterdam1993elaboratori elettroniciprogrammazionecongressi1993elaborazione elettronicacongressi1993linguaggi di programmazionecongressi199300513Linguaggi di programmazioneHeering,JanInternational workshop HOA'931.Amsterdam1993753235Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204870203316001 LNCS (816)001636400100103131BKSCI1996120320001110USA011714ALANDI9020010130USA01152320020403USA011628PATRY9020040406USA011615Higher-order algebra, logic and term rewriting1515171UNISA