Higher-order algebra, logic, and term rewriting selected papers [of the] second international workshop, hoa'95, held in paderborn, Germany, september 1995
Workshop on Higher-Order Algebra, Logic, and TermRewriting (2. 1995 Paderborn, De) Gilles Dowek; Jan Heering
Berlin Springer 1996
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1074 ) e outros locais(Acessar)