External Links

Cite Key

Statistics

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

PDF

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.

A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems

Ryota Haga, Yuki Kagaya, Takahito Aoto 0001. A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. In Uli Sattler, Martin Suda 0001, editors, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Volume 14279 of Lecture Notes in Computer Science, pages 99-116, Springer, 2023. [doi]

Authors

Ryota Haga

This author has not been identified. Look up 'Ryota Haga' in Google

Yuki Kagaya

This author has not been identified. Look up 'Yuki Kagaya' in Google

Takahito Aoto 0001

This author has not been identified. Look up 'Takahito Aoto 0001' in Google
runs on