ID:DA08491336
HOA
International Workshop, HOA
Workshop on Higher-Order Algebra, Logic, and Term Rewriting, International
Search authors sharing the same name
Michael Hanus, Jan Heering, Karl Meinke, (eds.)
Springer-Verlag c1997 Lecture notes in computer science 1298
Available at 51 libraries
Gilles Dowek ... [et al.], (eds.)
Springer c1996 Lecture notes in computer science 1074
Available at 60 libraries
Jan Heering ... [et al.] (eds.)
Springer-Verlag c1994 Lecture notes in computer science 816
: gw , : us
Available at 61 libraries