An edition of Higher-order algebra, logic, and term rewriting (1994)
Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science)
By Jan Heering,Karl Meinke,Bernhard Moller
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
September 1994
Publisher
Springer
Language
eng
Pages
344