Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. M. Bozga, R. Iosif, Flat Parametric Counter Automata, Personal Communication, in preparation.
2. Some decision problems concerning semilinearity and commutation;Harju;J. Comput. System Sci.,2002
3. On two-way FA with monotonic counters and quadratic diophantine equations;Ibarra;Theoret. Comput. Sci.,2004
4. O.H. Ibarra, Z. Dang, Z.-W. Sun, Safety verification for two-way finite automata with monotonic counters, Proc. Sixth Internat. Conf.: Developments in Language Theory 2002, Lecture Notes in Computer Science, Vol. 2450, 2003, pp. 326–338.
5. New decidability results concerning two-way counter machines;Ibarra;SIAM J. Comput.,1995
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献