46 citations · 64 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2018
A more reasonable proof of Cobham's theorem
Thijmen J. P. Krebs
We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.
cs.FL2016
On automatic subsets of the Gaussian integers
Wieb Bosma, Robbert Fokkink, Thijmen Krebs
Suppose that and are multiplicatively independent Gaussian integers, that are both of modulus~. We prove that there exist a which is $…