Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference14 articles.
1. Automatic Sequences: Theory, Applications, Generalizations;Allouche,2003
2. Learning regular sets from queries and counterexamples;Angluin;Inf. Comput.,1987
3. The Magma algebra system I: the user language;Bosma;J. Symb. Comput.,1997
4. Uniform tag sequences;Cobham;Math. Syst. Theory,1972
5. Z3: an efficient SMT solver;de Moura,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献