Author:
Howell Rodney R.,Rosier Louis E.,Yen Hsu-Chun
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference13 articles.
1. A decidability theorem for a class of vector addition systems;Crespi-Reghizzi;Inform. Process. Lett.,1975
2. The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems;Hack,1974
3. The complexity of the equivalence problem for commutative semigroups and symmetric vector addition systems;Huynh,1985
4. Complexity of the word problem for commutative semigroups of fixed dimension;Huynh;Acta Informatica,1985
5. Complete problems for deterministic polynomial time;Jones;Theoret. Comput. Sci.,1977
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献