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

G. Lolli
    • 34,99 US$
    • 34,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Khoa Học & Tự Nhiên
ĐÃ PHÁT HÀNH
2011
17 tháng 6
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
236
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
7,7
Mb

Thêm Sách Tương Tự

Aspects of Mathematical Logic Aspects of Mathematical Logic
Aspects of Mathematical Logic
2011
The Structure of the Real Line 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
Structure And Randomness In Computability And Set Theory
2020
Modern Real Analysis Modern Real Analysis
Modern Real Analysis
2017
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019
Foundations of Stochastic Analysis Foundations of Stochastic Analysis
Foundations of Stochastic Analysis
2013