Publisher
Springer International Publishing
Reference18 articles.
1. Alexeev, B.: Minimal dfas for testing divisibility. CoRR cs.CC/0309052 (2003), http://arxiv.org/abs/cs.CC/0309052
2. Lecture Notes in Computer Science;B Boigelot,2007
3. Boigelot, B., Brusten, J., Bruyère, V.: On the sets of real numbers recognized by finite automata in multiple bases. Logical Methods Comput. Sci. 6(1) (2010)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Boigelot,2009
5. Bruyre, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and p-recognizable sets of integers. Bull. Belg. Math. Soc 1, 191–238 (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献