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.

LSE Narrowing for Decreasing Conditional Term Rewrite Systems

Alexander Bockmayr, Andreas Werner. LSE Narrowing for Decreasing Conditional Term Rewrite Systems. In Nachum Dershowitz, Naomi Lindenstrauss, editors, Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings. Volume 968 of Lecture Notes in Computer Science, pages 51-70, Springer, 1994.

Authors

Alexander Bockmayr

This author has not been identified. Look up 'Alexander Bockmayr' in Google

Andreas Werner

This author has not been identified. Look up 'Andreas Werner' in Google
runs on