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.

Semantics and Strong Sequentiality of Priority Term Rewriting Systems

Masahiko Sakai, Yoshihito Toyama. Semantics and Strong Sequentiality of Priority Term Rewriting Systems. In Harald Ganzinger, editor, Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Volume 1103 of Lecture Notes in Computer Science, pages 377-391, Springer, 1996.

Authors

Masahiko Sakai

This author has not been identified. Look up 'Masahiko Sakai' in Google

Yoshihito Toyama

This author has not been identified. Look up 'Yoshihito Toyama' in Google
runs on