External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow, editors, Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Volume 816 of Lecture Notes in Computer Science, Springer, 1994.

Conference: hoa1994

Editors

Jan Heering

Identified as Jan Heering

Karl Meinke

This author has not been identified. Look up 'Karl Meinke' in Google

Bernhard Möller

This author has not been identified. Look up 'Bernhard Möller' in Google

Tobias Nipkow

This author has not been identified. Look up 'Tobias Nipkow' in Google
runs on