Formalized recursive functionals and formalized realizability

Formalized recursive functionals and formalized realizability

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kleene, Stephen Cole 1909-
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, R.I. : American Mathematical Society, 1969
Σειρά:	Memoirs of the American Mathematical Society ; ; 89
Θέματα:	Recursive functions.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Theory of formal systems
από: Smullyan, Raymond M.
Δημοσίευση: (1961)

Recursive Function Theory
Δημοσίευση: (1962)

Recursive algorithms
από: Lorentz, Richard
Δημοσίευση: (1994)

Algorithmen, rekursive funktionen und formaler sprachen
από: Brauer, Wilfried, κ.ά.
Δημοσίευση: (1968)

Recursive methods in economic dynamics
από: Stokey, Nancy L.
Δημοσίευση: (1989)

Recursion theory
Δημοσίευση: (1985)

Stochastic approximation and recursive algorithms and applications
από: Kushner, Harold J. (Harold Joseph) 1933-
Δημοσίευση: (2003)

A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994)

Techniques of admissible recursion theory
από: Chong, C.-T. (Chi-Tat) 1949-
Δημοσίευση: (1984)

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

Recursion Theory Week
Δημοσίευση: (1985)

Recursion theory week :
Δημοσίευση: (1990)

Rekursive Folgen
από: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Δημοσίευση: (1955)

Automorphisms of the lattice of recursively enumerable sets
από: Cholak, Peter 1962-
Δημοσίευση: (1995)

Recursions for convolutions and compound distributions with insurance applications
από: Sundt, Bjorn
Δημοσίευση: (2009)

Hierarchies of predicates of finite types
από: Clarke, Douglas Albert
Δημοσίευση: (1964)

Computability :
από: Cutland, Nigel
Δημοσίευση: (1980)

A decision method for elemantary algebra and goemetry
από: Tarski, Alfred
Δημοσίευση: (1951)

Elementary induction on abstract structures
από: Μοσχοβάκης, Γιάννης Ν., 1938-
Δημοσίευση: (2008)

Εισαγωγή στην υπολογιστική
από: Τουρλάκης, Γιώργος
Δημοσίευση: (1994)

The calculi of lambda-conversion
από: Church, Alonzo 1903-1995
Δημοσίευση: (1951)

Degrees of unsolvability
από: Sacks, Gerald E.
Δημοσίευση: (1966)

Realizations of polylogarithms
από: Wildeshaus, Jorg 1965-
Δημοσίευση: (1997)

Formal languages
από: Salomaa, Arto
Δημοσίευση: (1973)

Formal organizations :
από: Blau, Peter Michael
Δημοσίευση: (1982)

Formal sociology :
Δημοσίευση: (1991)

Formal semantics :
από: Cann, Ronnie
Δημοσίευση: (1993)

Formale logik
από: Bochenski, Joseph M., 1902-1995
Δημοσίευση: (1956)

Formale logik
από: Lorenzen, Paul, 1915-1994
Δημοσίευση: (1958)

Minimal degrees of unsolvability and the full approximation construction
από: Epstein, Richard L. 1947-
Δημοσίευση: (1975)

Initial segments of degrees below 0'
από: Epstein, Richard L. 1947-
Δημοσίευση: (1981)

Systems of formal logic
από: Hackstaff, L. H.
Δημοσίευση: (1966)

Linguistics and the formal sciences :
από: Tomalin, Marcus
Δημοσίευση: (2006)

The sociology of formal organizations
Δημοσίευση: (1995)

The undecidable :
Δημοσίευση: (1965)

Formal power series and linear systems of meromorphic ordinary differential equations
από: Balser, Werner 1946-
Δημοσίευση: (2000)

Formally p-adic fields
από: Prestel, Alexander 1941-
Δημοσίευση: (1984)

Lectures on formally real fields
από: Prestel, Alexander 1941-
Δημοσίευση: (1984)

The formal semantics of programming languages :
από: Winskel, G. (Glynn)
Δημοσίευση: (1993)

Alternative routes to formal education :
Δημοσίευση: (1984)