Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. J. Albert, K. Culik II, and J. Karhumäki, Test sets for context-free languages and algebraic systems of equations in a free monoid, Inform. Control, 52(1982), 172–186.
2. M.H. Albert, and J. Lawrence, A proof of Ehrenfeucht’s Conjecture, Theoret. Comput. Sci,to appear.
3. K. Culik II, On the decidability of the sequence equivalence problem for DOL-systems, Theoret. Comput. Sci., 3 (1976), 75–84.
4. K. Culik II, The ultimate equivalence problem for DOL systems, Acta Inform., 10 (1978), 79–84.
5. K. Culik II, A purely homomorphic characterization of recursively enumerable sets, J. Assoc. Comput. Mach., 26 (1979), 345–350.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献