The following pages link to Hamoon Mousavi (Q346250):
Displaying 13 items.
- Decision algorithms for Fibonacci-automatic words. II: Related sequences and avoidability (Q346252) (← links)
- Shortest Repetition-Free Words Accepted by Automata (Q2843095) (← links)
- Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties (Q2974059) (← links)
- Decision algorithms for Fibonacci-automatic Words, I: Basic results (Q3186674) (← links)
- A New Approach to the Paperfolding Sequences (Q3195678) (← links)
- Mechanical Proofs of Properties of the Tribonacci Word (Q3449367) (← links)
- On the Number of Unbordered Factors (Q4910467) (← links)
- Filtrations of Formal Languages by Arithmetic Progressions (Q5300608) (← links)
- Repetition Avoidance in Circular Factors (Q5300856) (← links)
- Nonlocal games, compression theorems, and the arithmetical hierarchy (Q6083454) (← links)
- Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance (Q6252037) (← links)
- Automatic Theorem Proving in Walnut (Q6271646) (← links)
- Synchronous Values of Games (Q6378978) (← links)