Keywords
- Free Variable
- Partial Function
- Recursive Function
- Remainder Function
- Denotational Semantic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aho, A.V. and Ullman, J.D. [1979] Universality of data retrieval languages, in: Proc. of 6th ACM Symp. on Principles of Programming Languages, 1979, 110–117.
Backus, J. [1978] Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Comm. of the ACM, 21 (1978), 613–641.
Barwise, J. and Moschovakis, Y.N. [1978] Global inductive definability, J. of Symbolic Logic, 43 (1978), 521–534.
Barwise, J., Gandy, R.O. and Moschovakis, Y.N. [1971] The next admissible set, J. of Symbolic Logic, 36 (1971), 108–120.
Bjoerner, D. and Jones, C.B. [1982] Formal specification and software development, Prentice-Hall, 1982.
Chandra, A. and Harel, D. [1982] Structure and complexity of computable queries, J. of Computer and System Sciences, 25 (1982), 99–128.
Chandra, A.K. and Harel, D. [1980] Computable queries for relational data bases, J. of Computer and System Sciences, 21 (1980), 156–178.
Chen, M. [1983] Space-time algorithms: semantics and methodology, Ph.D. Thesis, Cal. Inst. of Technology, 1983.
de Bakker, J. [1980] Mathematical theory of program correctness, Prentice-Hall, 1980.
de Rougemont, M. [1983] Second order and inductive definability on finite structures, Ph.D. Thesis, UCLA, 1983.
Fagin, R. [1974] Generalized first-order spectra and polynomial-time recognizible sets, in: Complexity of computation, R. Karp, ed., SIAM-AMS Proc. 7, 1974, 43–73.
Feferman, S. [1965] Some applications of forcing and generic sets, Fund. Math. 56 (1965), 325–345.
Feferman, S. [1977] Inductive schemata and recursively continuous functionals, in: Colloquium '76, R.O. Gandy, J.M.E. Hyland eds., Studies in Logic, North Holland, Amsterdam, 1977, 373–392.
Fenstad, J.-E. [1980] General recursion theory, Perspectives in Mathematical Logic, Springer, Berlin, 1980.
Friedman, H. [1971] Aiiomatic recursive function theory, in: Logic Colloquium '69, R.O. Gandy, C.E.M. Yates eds., Studies in Logic, North Holland, Amsterdam, 1971, 113–137.
Gandy, R.O. [1967] General recursive functionals of finite type and hierarchies of functionals, Ann. Fac. Sci. Univ. Clermont-Ferrand, 35, 1967, 5–24.
Gordon, M.J.C. [1979] The denotational description of programming languages, Springer, 1979.
Gurevich, Y. [1983] Algebras of feasible functions, Proc. of 24th IEEE Symp. on Foundations of Computer Science, 1983, 210–213.
Harel, D. and Kozen, D. [1982] A programming language for the inductive sets, and applications, Proc. of the 9th ICALP, Springer, 1982.
Immerman, N. [1982] Relational queries computable in polynomial time, Proc. of the 14th ACM Symp. on Theory of Computing, 1982, 147–152.
Immerman, N. [1983] Languages which capture complexity classes, Proc. of 15th ACM Symp. on the theory of computing, 1983, 347–354.
Kechris, A.S. and Moschovakis, Y.N. [1977] Recursion in higher types, in: Handbook of Logic, J. Barwise ed., Studies in Logic, North Holland, Amsterdam, 1976, 681–737.
Keisler, H.J. [1965] Finite approximations of infinitely long formulas, in: The Theory of Models, J.W. Addison et al, eds., Studies in Logic, North Holland, Amsterdam, 1965, 158–169.
Kleene, S.C. [1952] Introduction to metamathematics, van Nostrand, Princeton, 1952.
Kleene, S.C. [1959] Recursive functionals and quantifiers of finite type I, Trans. Amer. Math. Soc. 91 (1959), 1–52.
Kleene, S.C. [1963] Recursive functionals and quantifiers of finite type II, Trans. Amer. Math. Soc. 108 (1963), 106–142.
Kleene, S.C. [1981] The theory of recursive functions approaching its centennial, Bull. Amer. Math. Soc. (new series) 5 (1981), 43–61.
Kolaitis, Ph. [????] Canonical forms and hierarchies in generalized recursion theory, to appear.
Kreisel, G. [1961] Set theoretic notions suggested by the notion of potential totality, in: Infinitistic Methods, Pergamon, Oxford, 1961, 103–140.
Kreisel, G. [1965] Model theoretic invariants: applications to recursive and hyperarithmetic operations, in: The Theory of Models, J.W. Addison et al, eds., Studies in Logic, North Holland, Amsterdam, 1965.
Kreisel, G. and Sacks, G.E. [1965] Metarecursive sets, J. of Symbolic Logic, 30 (1965), 318–338.
Landin, P.J. [1964] The mechanical evaluation of expressions, Computer J. 6 (1964), 308–320.
Mc Carthy, J. [1960] Recursive functions of symbolic expressions and their computation by machine, Part I, Comm. of the ACM, 3 (1960), 184–195.
Mc Colm, G. [????] Ph.D. Thesis, UCLA, in preparation.
Mead, C. and Conway, L. [1980] Introduction to VLSI Symtems, Addison-Wesley, Reading Mass., 1980.
Moschovakis, Y.N. [1967] Hyperanalytic predicates, Trans. Amer. Math. Soc. 129 (1967), 249–282.
Moschovakis, Y.N. [1969] Abstract first order computability I and II, Trans. Amer. Math. Soc., 138 (1969), 427–504.
Moschovakis, Y.N. [1971] Axioms for computation theories — first draft, in: Logic Colloquium '69, R.O. Gandy and C.E.M. Yates eds., Studies in Logic, North Holland, Amsterdam, 1971, 199–255.
Moschovakis, Y.N. [1974] Elementary Induction on Abstract Structures, Studies in Logic, North Holland, Amsterdam, 1974.
Moschovakis, Y.N. [1977] On the basic notions on the theory of induction, in: Logic, Foundations of Mathematics and Computability, Butts, Hintikka, eds., Reidel, 1977, 207–236.
Moss, L. [1984] Power set recursion, Ph.D. Thesis, UCLA, 1984.
Normann, D. [1978] Set recursion, in: Generalized Recursion Theory II, J.-E. Fenstad, R.O. Gandy, G.E. Sacks, eds., Studies in Logic, North Holland, Amsterdam, 1978.
Platek, R. [1966] Foundations of recursion theory, Ph.D. Thesis, Standford Univ., 1966.
Rogers, H. Jr. [1967] Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.
Sacks, G.E. [1980] Three aspects of recursive enumerability, in: Recursion Theory: Its Generalizations and Applications, F.R. Drake and S.S. Wainer, eds., Cambridge Univ. Press, 1980, 184–214.
Sacks, G.E. [????] On the limits of recursive enumerability, to appear.
Sazonov, V.Y. [1980] A logical approach to the problem P = NP, Math. Found. of Comp. Science, Springer CS notes #88, 1980, 562–575.
Scott, D.S. [1982] Domains for denotational semantics, ICALP '82, Aarhus, 1982.
Scott, D.S. and Strachey, C. [1971] Towards a mathematical semantics for computer languages, Proc. of the Symposium on Computers and Automata, in: J. Fox ed., Polytechnic Institute of Brooklyn Press, New York, 1971, 19–46.
Shore, R.A. [1977] α-recursion theory, in: The Handbook of Logic, J. Barwise, ed., Studies in Logic, North Holland, Amsterdam, 1977, 653–680.
Slaman, T.A. [????] Reflection and forcing in E-recursion theory, to appear.
Stoy, J.E. [1977] Denotational semantics: The Scott-Strachey approach, MIT Press, Cambridge, Mass., 1977.
Strong, R. [1968] Algebraically generalized recursive function theory, IBM J. Res. and Dev. 12 (1968), 415–475.
Tennent, R.D. [1981] Principles of programming languages, Prentice-Hall, 1981.
Wagner, E.G. [1969] Uniform reflexive structures: on the nature of Godelizations and relative computability, Trans. Amer. Math. Soc., 144 (1969), 1–41.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Moschovakis, Y.N. (1984). Abstract recursion as a foundation for the theory of algorithms. In: Börger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds) Computation and Proof Theory. Lecture Notes in Mathematics, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099491
Download citation
DOI: https://doi.org/10.1007/BFb0099491
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13901-0
Online ISBN: 978-3-540-39119-7
eBook Packages: Springer Book Archive
