Higher-Order Algebra, Logic and Term Rewriting (HOA)
3. HOA / 6. ALP
1997: Southampton, U.K.
Michael Hanus, Jan Heering, Karl Meinke (Eds.):
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings.
Lecture Notes in Computer Science 1298 Springer 1997, ISBN 3-540-63459-2
Contents BibTeX
2. HOA 1995: Paderborn, Germany
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (Eds.):
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers.
Lecture Notes in Computer Science 1074 Springer 1996, ISBN 3-540-61254-8
Contents BibTeX
1. HOA 1993: Amsterdam, The Netherlands
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (Eds.):
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers.
Lecture Notes in Computer Science 816 Springer 1994, ISBN 3-540-58233-9
Contents BibTeX
Copyright © Sat May 16 23:14:53 2009
by Michael Ley (ley@uni-trier.de)
