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]
@inproceedings{SaitoH23-2, title = {Weighted Path Orders Are Semantic Path Orders}, author = {Teppei Saito and Nao Hirokawa}, year = {2023}, doi = {10.1007/978-3-031-43369-6_4}, url = {https://doi.org/10.1007/978-3-031-43369-6_4}, researchr = {https://researchr.org/publication/SaitoH23-2}, cites = {0}, citedby = {0}, pages = {63-80}, booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings}, editor = {Uli Sattler and Martin Suda 0001}, volume = {14279}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-43369-6}, }