Higher-order algebra, logic and term rewriting : first international workshop, HOA'93, Amsterdam, The Netherlands, Sept.23-24, 1993 / edited by Jan Heering...[et al.]
Higher-order algebra, logic and term rewriting : first international workshop, HOA'93, Amsterdam, The Netherlands, Sept.23-24, 1993 / edited by Jan Heering...[et al.] - - Berlin Springer-Verlag 1994 - 344 p. 23.5 cm - Lecture notes in computer science ; v.816 .
3-540-58233-91
Computer science-Mathematics-Congresses
Algebra-Congresses
Logic, Symbolic and mathematical-Congresses
Rewriting systems (Computer science)-Congresses
681.3.06:512 Hig:1:93