Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference11 articles.
1. Colson, L.: 1991, ‘About Primitive Recursive Algorithms’, Theoretical Computer Science 83(1).
2. Ekman, J.: 1994, Normal Proofs in Set Theory, Ph.D. thesis, Department of Computing Science, Chalmers University of Technology.
3. Fredholm, D.: 1995, ‘Intensional Aspects of Function Definitions’, Theoretical Computer Science 152(1).
4. Grenander, U.: 1994, General Pattern Theory, A Mathematical Study of Regular Structures, Oxford University Press.
5. Hallnäs, L.: 1991, ‘Partial Inductive Definitions’, Theoretical Computer Science 87.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献