Decidability for Sturmian words
From MaRDI portal
Publication:6597962
DOI10.46298/LMCS-20(3:12)2024MaRDI QIDQ6597962
Author name not available (Why is that?), Christian Schulz, Philipp Hieronymi, Author name not available (Why is that?), Jeffrey Shallit, Luke Schaeffer
Publication date: 4 September 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sturmian graphs and integer representations over numeration systems
- On direct products of automaton decidable theories
- Logic and \(p\)-recognizable sets of integers
- Correction to: Logic and \(p\)-recognizable sets of integers
- Bemerkungen zur Theorie der diophantischen Approximationen.
- Ostrowski numeration systems, addition, and finite automata
- The monadic theory of morphic infinite words and generalizations
- Palindromes and Sturmian words
- Expansions of the group of integers by Beatty sequences
- Ostrowski-automatic sequences: theory and applications
- When is scalar multiplication decidable?
- Some characterizations of finite Sturmian words.
- Small fast universal Turing machines
- The additive structure of integers with the lower Wythoff sequence
- EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
- Three Lectures on Automatic Structures
- Decision algorithms for Fibonacci-automatic Words, I: Basic results
- Least Periods of Factors of Infinite Words
- Automatic Sequences
- Advice Automatic Structures and Uniformly Automatic Classes
- Squares and cubes in Sturmian sequences
- AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- Automata theory and its applications
- An Inequality for the Number of Periods in a Word
- Fractal dimensions of \(k\)-automatic sets
Related Items (1)
This page was built for publication: Decidability for Sturmian words
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6597962)
