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.

Using SOS Definitions in Term Rewriting Proofs

Karl-Heinz Buth. Using SOS Definitions in Term Rewriting Proofs. In Ursula Martin, Jeannette M. Wing, editors, First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing, pages 36-54, Springer, 1992.

Abstract

Abstract is missing.

runs on