15 citations · 36 across the 7 of their papers we have counts for
Showing 2014 · cs.FLShow all
2 papers · 2 filters
cs.FL2014
Mechanical Proofs of Properties of the Tribonacci Word
Hamoon Mousavi, Jeffrey Shallit
We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Tribonacci-automatic". This class includ…
cs.FL2014★ 15 cited
Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance
Chen Fei Du, Hamoon Mousavi, Luke Schaeffer +1
We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Fibonacci-automatic". This class include…