Zuzana Masáková, Edita Pelantová, Katarína Studenicová. Rewriting Rules for Arithmetics in Alternate Base Systems. In Frank Drewes, Mikhail Volkov 0001, editors, Developments in Language Theory - 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings. Volume 13911 of Lecture Notes in Computer Science, pages 195-207, Springer, 2023. [doi]
Abstract is missing.