
Recursion Theory and Complexity
Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997
De Gruyter (Publisher)
1st Edition
Published on 6. August 1999
Book
Hardback
VIII, 239 pages
978-3-11-016587-6 (ISBN)
Description
No detailed description available for "Recursion Theory and Complexity".
More details
Series
Edition
Reprint 2014
Language
English
Place of publication
Berlin/Boston
Germany
Target group
Professional and scholarly
US School Grade: College Graduate Student
Dimensions
Height: 246 mm
Width: 175 mm
Thickness: 20 mm
Weight
606 gr
ISBN-13
978-3-11-016587-6 (9783110165876)
Schweitzer Classification
Other editions
Additional editions

Marat M. Arslanov | Steffen Lempp
Recursion Theory and Complexity
Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997
E-Book
10/2014
1st Edition
De Gruyter
€159.95
Available for download

Marat M. Arslanov | Steffen Lempp
Recursion Theory and Complexity
Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997
Book
1999
1st Edition
De Gruyter
€239.00
Withdrawn from sale
Content
Priority method in generalized computability, I.V. Ashaev; polynomial time versus computable Boolean algebras, D. Cenzer, J.B. Remmel; the proof-theoretic strength of the Dushnik-Miller theorem, R.G. Downey, S. Lempp; effectively nowhere simple relations on computable models, V. Harizanov; jump traces with large gaps, P.G. Hinman; weak recursive degrees and a problem of Spector, Sh.T. Ishmukhametov; compositions of permutations and algorithmic reducibilities, K.V. Korovin; some properties of majorant-computability, M.V. Korovina, O.V. Kudinov; hyperarithmetical functions and algebraicity, A.C. Morozov; weak presentation of fields, not extendible to recursion presentations, A. Shlapentokh; jumps of Sigma 0/2-high e-degrees and properly Sigma0/2 e-degrees, R.A. Shore, A. Sorbi; the e-reducibility and problem of the nontotal property of e-degrees, B.Ja. Solon; algebras of recursive functions, V.D. Solo'vev; Sigma2-induction and cuppable degrees, Yang Yue. Open problems from Kazan '97 workshop. List of WORCT'97 participants, recursion theory. List of talks.