MPG.eBooks - Search Results - "algebraic logic"

Search alternatives:
"algebraic logic" » "algebra logic"

Cover Image

1

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

Published 1996

Springer Berlin Heidelberg

“... for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held...”

Cover Image

2

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

“... International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam...”

Cover Image

3

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

4

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