01581nam2-2200421li-450 99000020633020331620180312154902.03-540-61254-80020633USA010020633(ALEPH)000020633USA01002063320001109d1996----km-y0itay0103----baengGWHigher-order algebra, logic, and term rewritingsecond International workshop, HOA'95 Paderborn, Germany, September 21-22, 1995selected papersGilles Dowek [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996287 p.ill.24 cmLecture notes in computer science107400100202642001Lecture notes in computer sciencecongressipaderborn1995elaborazione elettronicamodelli matematicicongressi1995grafica con gli elaboratoricongressi19950066Grafica con gli eleboratoriDowek,GillesInternational workshop HOA'952.Paderborn1995754753Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206330203316001 LNCS (1074)001922600100103859BKSCI1996120320001110USA011714ALANDI9020010201USA01110520020403USA011628PATRY9020040406USA011615Higher-order algebra, logic, and term rewriting1518959UNISA