Cargando…

Recursion on the countable functionals

Detalles Bibliográficos
Autor principal:	Normann, Dag
Lenguaje:	eng
Publicado:	Springer 1980
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0098600 http://cds.cern.ch/record/1690986

Ejemplares similares

Classification of countable homogeneous directed graphs and countable homogeneous n-tournaments
por: Cherlin, Gregory L
Publicado: (1998)

Approximating countable Markov chains
por: Freedman, David
Publicado: (1983)

Operators generated by a countable number of quasi-differential expressions
por: Ashurov, R R, et al.
Publicado: (1999)

Rigidity theorems for actions of product groups and countable Borel equivalence relations
por: Hjorth, Greg, et al.
Publicado: (2005)

Markov fields over countable partially ordered sets: extrema and splitting
por: Evstigneev, IV, et al.
Publicado: (1994)

Symbolic dynamics: one-sided, two-sided and countable state Markov shifts
por: Kitchens, Bruce P
Publicado: (1998)

Recursive functionals
por: Sanchis, Luis E
Publicado: (1992)

Recursiveness
por: Eilenberg, Samuel, et al.
Publicado: (1970)

Theory of recursive functions and effective computability
por: Rogers, Hartley
Publicado: (1967)

Thinking recursively
por: Roberts, Eric S
Publicado: (1986)

Recursion theory
por: Shoenfield, Joseph R
Publicado: (2017)

Higher recursion theory
por: Sacks, Gerald E
Publicado: (2017)

Recursive model theory
por: Chang, C C, et al.
Publicado: (1998)

Recursive Partitioning and Applications
por: Zhang, Heping, et al.
Publicado: (2010)

Super-recursive algorithms
por: Burgin, Mark
Publicado: (2005)

Recursion Theory Week
por: Ambos-Spies, Klaus, et al.
Publicado: (1990)

Recursion Theory Week
por: Ebbinghaus, Heinz-Dieter, et al.
Publicado: (1985)

Recursion-theoretic hierarchies
por: Hinman, Peter G
Publicado: (2017)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1969)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1965)

Stochastic approximation and recursive estimation
por: Nevelson, M B, et al.
Publicado: (1976)

Bounded queries in recursion theory
por: Gasarch, William I, et al.
Publicado: (1999)

Recursive partitioning in the health sciences
por: Zhang, Heping, et al.
Publicado: (1999)

Recursion Theory and Computational Complexity
por: Lolli, G
Publicado: (2011)

Recursive Algebra, Analysis and Combinatorics
por: Ershov, Y L
Publicado: (1998)

Fundamentals of generalized recursion theory
por: Fitting, Melvin
Publicado: (1981)

Techniques of admissible recursion theory
por: Chong, Chi-Tat
Publicado: (1984)

Recursive number theory: a development of recursive arithmetic in a logic-free equation calculus
por: Goodstein, Reuben Louis
Publicado: (1957)

Classical recursion theory: the theory of functions and sets of natural numbers
por: Odifreddi, Piergiorgio
Publicado: (1992)

Periodic character and patterns of recursive sequences
por: Radin, Michael A
Publicado: (2018)

Recursion theory: computational aspects of definability
por: Chong, Chi Tat, et al.
Publicado: (2015)

Stochastic approximation and recursive algorithms and applications
por: Kushner, Harold J, et al.
Publicado: (2003)

General recursion theory: an axiomatic approach
por: Fenstad, Jens E
Publicado: (2017)

Automorphisms of the lattice of recursively enumerable sets
por: Cholak, Peter
Publicado: (1995)

Recursion theory: lecture notes in logic 1
por: Shoenfield, Joseph R
Publicado: (2018)

Ordinal definability and recursion theory: the Cabal Seminar
por: Kechris, Alexander S, et al.
Publicado: (2016)

Image representation and processing: a recursive approach
por: Alexandrov, V V, et al.
Publicado: (1993)

Chain of matrices, loop equations and topological recursion
por: Orantin, Nicolas
Publicado: (2009)

Recursions for convolutions and compound distributions with insurance applications
por: Vernic, Raluca, et al.
Publicado: (2009)

Computability, enumerability, unsolvability: directions in recursion theory
por: Cooper, S Barry, et al.
Publicado: (1996)

Cannot write session to /tmp/vufind_sessions/sess_sa2en1j4g0lnrdvbgmaq9id3cs