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

    • 29,99 €
    • 29,99 €

Description de l’éditeur

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.

GENRE
Science et nature
SORTIE
2011
17 juin
LANGUE
EN
Anglais
LONGUEUR
236
Pages
ÉDITIONS
Springer Berlin Heidelberg
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
7,7
Mo
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