Related Books

Degree Theoretic Definitions on the Low2 Recursively Enumerable Sets
Language: en
Pages: 64
Authors: Rod G. Downey
Categories: Recursion theory
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Handbook of Computability Theory
Language: en
Pages: 741
Authors: E.R. Griffor
Categories: Mathematics
Type: BOOK - Published: 1999-10-01 - Publisher: Elsevier

DOWNLOAD EBOOK

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Si
A Hierarchy of Turing Degrees
Language: en
Pages: 234
Authors: Rod Downey
Categories: Computers
Type: BOOK - Published: 2020-06-16 - Publisher: Princeton University Press

DOWNLOAD EBOOK

[Alpha]-c.a. functions -- The hierarchy of totally [alpha]-c.a. degrees -- Maximal totally [alpha]-c.a. degrees -- Presentations of left-c.e. reals -- m-topped
Complexity, Logic, and Recursion Theory
Language: en
Pages: 380
Authors: Andrea Sorbi
Categories: Mathematics
Type: BOOK - Published: 2019-05-07 - Publisher: CRC Press

DOWNLOAD EBOOK

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretic
Theory and Applications of Models of Computation
Language: en
Pages: 809
Authors: Jin-Yi Cai
Categories: Computers
Type: BOOK - Published: 2006-05-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

TAMC 2006 was the third conference in the series. The previous two meetings were held May 17–19, 2004 in Beijing, and May 17–20, 2005 in Kunming