Recursion Theory and Complexity: Proceedings of the Kazan...

Main
Recursion Theory and Complexity:...

Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

Marat M. Arslanov (editor), Steffen Lempp (editor)

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?

Year:

1999

Publisher:

De Gruyter

Language:

english

Pages:

247

ISBN 10:

3110807483

ISBN 13:

9783110807486

Series:

De Gruyter Series in Logic and Its Applications; 2

File:

PDF, 7.03 MB

IPFS:

,

english, 1999

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Nigel Cutland — Computability : An Introduction to Recursive Function Theory

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

Vladimirov D. — Boolean Algebras in Analysis 2010.

Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan, Guohua Wu & Yue Yang — Aspects of Computation and Automata Theory with Applications

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

Kalle Kaarli (Author); Alden F. Pixley (Author) — Polynomial Completeness in Algebraic Systems

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

Sabine Koppelberg, J. Donald Monk, Robert Bonnet — Handbook of Boolean Algebras (3 volumes)

C.T. Chong, M.J. Wicks — Southeast Asian Conference on Logic: Proceedings Singapore, 1981

J. Donald Monk, Robert Bonnet — Handbook Of Boolean Algebras

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

F. R. Drake, S. S. Wainer — Recursion Theory, its Generalisations and Applications

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

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

R. 0. Gandy, C. M. E. Yates — Logic Colloquium '69

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

Cholak P.A., et al. (eds.) — Computability Theory and Its Applications: Current Trends and Open Problems

Andrea Sorbi — Complexity, logic, and recursion theory

Juris Hartmanis — Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

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

Nigel Cutland — Computability

S. Barry Cooper — Computability Theory

Cori, Rene; Razborov, Alexander; Todorcevic, Stevo; Wood, Carol (eds.) — Logic colloquium 2000 (hardcover): lecture notes in logic, 19

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

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.) — Logic Colloquium 2000

Most frequently terms