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.

TRSPEC: A Term Rewriting Based System for Algebraic Specifications

Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach. TRSPEC: A Term Rewriting Based System for Algebraic Specifications. In Stéphane Kaplan, Jean-Pierre Jouannaud, editors, Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings. Volume 308 of Lecture Notes in Computer Science, pages 245-248, Springer, 1987.

Authors

Jürgen Avenhaus

This author has not been identified. Look up 'Jürgen Avenhaus' in Google

Richard Göbel

This author has not been identified. Look up 'Richard Göbel' in Google

Bernhard Gramlich

Identified as Bernhard Gramlich

Klaus Madlener

This author has not been identified. Look up 'Klaus Madlener' in Google

Joachim Steinbach

This author has not been identified. Look up 'Joachim Steinbach' in Google
runs on