Publisher
Mathematical Society of Japan (Project Euclid)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Recent Advances in Σ-Definability over Continuous Data Types;Lecture Notes in Computer Science;2004
2. Infinite Rules in Finite Systems;Non-Classical Logics, Model Theory, And Computability;1977
3. A Hierarchy of Languages with Infinitely Long Expressions;Logic Colloquium '73, Proceedings of the Logic Colloquium;1975
4. Some Hierarchies Based on Higher Type Quantification;Logic Colloquium '73, Proceedings of the Logic Colloquium;1975
5. An Uncritical Bibliography of Papers on Generalized Recursion Theory;Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium;1974