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]

Abstract

Abstract is missing.