Weighted Path Orders Are Semantic Path Orders

Teppei Saito, Nao Hirokawa. Weighted Path Orders Are Semantic Path Orders. 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 63-80, Springer, 2023. [doi]

Abstract

Abstract is missing.