Higher-order algebra, logic, and term rewriting

International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA'95, 2 1995 Paderborn Gilles Dowek

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1996

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1074 )(Acessar)