Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings Hanus Michael Heftet / 1997 / Engelsk
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers Dowek Gilles Heftet / 1996 / Engelsk
Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers Heering Jan Heftet / 1994 / Engelsk
