Author:
Menzel W.,Sperschneider V.
Reference6 articles.
1. Universal Buchberger automata and real-time computations;Auguston,1975
2. Universelle Automaten;Buchberger,1976
3. Input/output codings and transition functions in effective systems;Buchberger;Internat. J. Gen. Systems,1978
4. Simulation-universal automata;Buchberger,1977
5. Maier, W., Menzel, W., and Sperschneider, V. (in press), Embedding properties of total recursive functions. Z. Math. Logik Grundlag. Math.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bibliography;Computability, Complexity, Logic;1989
2. Recursively enumerable extensions of R1 by finite functions;Logic and Machines: Decision Problems and Complexity;1984