Decidability for Sturmian words

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz 0013, Jeffrey O. Shallit. Decidability for Sturmian words. Logical Methods in Computer Science, 20(3), 2024. [doi]

Abstract

Abstract is missing.