Recursion Theory and Computational Complexity Recursion Theory and Computational Complexity

Recursion Theory and Computational Complexity

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979

    • US$ 34,99
    • US$ 34,99

Descrição da editora

S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.

GÊNERO
Ciência e natureza
LANÇADO
2011
17 de junho
IDIOMA
EN
Inglês
PÁGINAS
236
EDITORA
Springer Berlin Heidelberg
VENDEDOR
Springer Nature B.V.
TAMANHO
7,7
MB
Aspects of Mathematical Logic Aspects of Mathematical Logic
2011
The Structure of the Real Line The Structure of the Real Line
2011
Structure And Randomness In Computability And Set Theory Structure And Randomness In Computability And Set Theory
2020
Modern Real Analysis Modern Real Analysis
2017
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
2019
Foundations of Stochastic Analysis Foundations of Stochastic Analysis
2013