Computability Theory and Its Applications: Current Trends...

Main
Mathematics
Computability Theory and Its...

Computability Theory and Its Applications: Current Trends and Open Problems

Cholak P.A., et al. (eds.)

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Year:

2000

Publisher:

AMS

Language:

english

Pages:

338

ISBN 10:

0821819224

ISBN 13:

9780821819227

Series:

Contemporary Mathematics 257

File:

DJVU, 2.90 MB

IPFS:

,

english, 2000

Download (djvu, 2.90 MB)

Conversion to is in progress

Conversion to is failed

You may be interested in

Herbert B. Enderton — Computability Theory: An Introduction to Recursion Theory

Per Martin-Löf — Notes on Constructive Mathematics

Piergiorgio ODIFREDDI — CLASSICAL RECURSION THEORY The Theory of Functions and Sets of Natural Numbers

Rod Downey, Denis R. Hirschfeldt — Algorithmic Randomness and Complexity

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Ershov Y.L. — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Enderton H. — Computability theory: An introduction to recursion theory

Brattka, Vasco; Diener, Hannes; Selivanov, Victor; Spreen, Dieter (eds.) — Logic, computation, hierarchies: Festschrift in honour of Victor L. Selivanov

Sorbi, Andrea — Complexity, logic, and recursion theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

Piergiorgio Odifreddi — Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Edward R. Griffor (ed.) — Handbook of Computability Theory

S. Barry Cooper, John K. Truss — Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

S. B. Cooper, T. A. Slaman, S. S. Wainer — Computability, Enumerability, Unsolvability: Directions in Recursion Theory

S. Barry Cooper, John K. Truss — Models and computability: Invited papers from Logic Colloquium ’97

Anatolii Ivanovic Mal'cev, transl. by Benjamin Franklin Wells, III — The metamathematics of algebraic systems: Collected papers 1936-1967

Nerode A., Shore R. (eds.) — Recursion Theory

Rebecca Weber — Computability theory

Andrea Sorbi — Complexity, logic, and recursion theory

Rod Downey — Turing's Legacy: Developments from Turing's Ideas in Logic

S. Barry Cooper — Computability Theory

S. Barry Cooper, Sergey S. Goncharov (auth.) — Computability and Models: Perspectives East and West

Yuri L. Ershov, Sergey Goncharov — Constructive Models

S. Barry Cooper — Computability theory

Brattka, Vasco; Diener, Hannes; Selivanov, Victor; Spreen, Dieter (eds.) — Logic, Computation, Hierarchies

Vasco Brattka (editor); Hannes Diener (editor); Dieter Spreen (editor) — Logic, Computation, Hierarchies

Nourani, Cyrus F — Algebraic computability and enumeration models : recursion theory and descriptive complexity

Nourani, Cyrus F. — Algebraic computability and enumeration models : recursion theory and descriptive complexity

S. Barry Cooper, Andrea Sorbi — Computability in Context: Computation and Logic in the Real World

Cooper S.B., Sorbi A. (eds.) — Computability in context. Computation and logic in the real world

Most frequently terms