Author:
Bès Alexis,Choffrut Christian
Publisher
Springer International Publishing
Reference20 articles.
1. Lecture Notes in Computer Science;B Becker,2007
2. Lecture Notes in Computer Science;H Bieri,1988
3. Boigelot, B., Brusten, J., Bruyère., V.: On the sets of real numbers recognized by finite automata in multiple bases. LMCS 6(1), 1–17 (2010)
4. Boigelot, B.: The Liege automata-based symbolic handler (LASH).
http://www.montefiore.ulg.ac.be/ boigelot/research/lash/
5. Boigelot, B., Brusten, J.: A generalization of Cobham’s theorem to automata over real numbers. Theor. Comput. Sci. 410(18), 1694–1703 (2009)