Heurist.org | Author: Jan Heering

Author: Jan Heering

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International ...

Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International ...

Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller