Author:
Eremondi Joey,Ibarra Oscar H.,McQuillan Ian
Funder
Natural Sciences and Engineering Research Council of Canada
NSF
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference27 articles.
1. Reversal-bounded multipushdown machines;Baker;J. Comput. Syst. Sci.,1974
2. Reversal-bounded multicounter machines and their decision problems;Ibarra;J. ACM,1978
3. Counter machines and verification problems;Ibarra;Theor. Comput. Sci.,2002
4. Nondeterministic streaming string transducers;Alur,2011
5. Model checking recursive programs with numeric data types;Hague,2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献