MPG.eBooks - Author Search Results

Cover Image

1

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

by Heering, Jan
Published 1994

Springer

Cover Image

2

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

by Hanus, Michael
Published 1997

Springer Berlin Heidelberg

Other Authors: “...Heering, Jan...”

Cover Image

3

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Heering, Jan...”

Cover Image

4

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

by Dowek, Gilles
Published 1996

Springer

Other Authors: “...Heering, Jan...”

Cover Image

5

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

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Heering, Jan...”

Cover Image

6

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

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Heering, Jan...”