MPG.eBooks - Search Results - "germany"

Cover Image

1

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

Cover Image

2

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

Published 1996

Springer Berlin Heidelberg

“... in Paderborn, Germany, in September 1995. The 14 research papers included, together with an invited paper...”