Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Upp till 20% på populära nyheter →

Recursion Theory and Complexity

Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

AvM. M. Arslanov,Marat M. Arslanov

Inbunden, Engelska, 1999

Del 2 i serien De Gruyter Series in Logic & its Applications

2 334 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

No detailed description available for "Recursion Theory and Complexity".

Produktinformation

Utgivningsdatum:1999-08-06
Mått:170 x 240 x 20 mm
Vikt:518 g
Format:Inbunden
Språk:Engelska
Serie:De Gruyter Series in Logic & its Applications
Antal sidor:247
Upplaga:99001
Förlag:De Gruyter
ISBN:9783110165876

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.

Mer från samma författare

M. M. Arslanov, A. N. Parshin, I. R. Shafarevich - Algebra and Analysis, Inbunden

Algebra and Analysis

M. M. Arslanov, A. N. Parshin, I. R. Shafarevich

Inbunden, 1996

2 191 kr

I. R. Shafarevich, A. N. Parshin, M. M. Arslanov - Algebra and Analysis, E-bok

Algebra and Analysis

I. R. Shafarevich, A. N. Parshin, M. M. Arslanov

E-bok

2016

2 002 kr

Mer från samma serie

Martin Zeman - Inner Models and Large Cardinals, Inbunden

Inner Models and Large Cardinals

Martin Zeman

Inbunden, 2001

2 765 kr

Sy D. Friedman - Fine Structure and Class Forcing, Inbunden

Fine Structure and Class Forcing

Sy D. Friedman

Inbunden, 2000

2 191 kr

Rod Downey, Denis R. Hirschfeldt - Aspects of Complexity, Inbunden

Aspects of Complexity

Rod Downey, Denis R. Hirschfeldt

Inbunden, 2001

1 609 kr

Godehard Link - One Hundred Years of Russell´s Paradox, Inbunden

One Hundred Years of Russell´s Paradox

Godehard Link

Inbunden, 2004

3 331 kr

Itay Neeman - Determinacy of Long Games, Inbunden

Determinacy of Long Games

Itay Neeman

Inbunden, 2004

2 594 kr

W. Hugh Woodin - Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Inbunden

Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

W. Hugh Woodin

Inbunden, 2010

3 474 kr

Chi Tat Chong, Liang Yu - Recursion Theory, Inbunden

Del 8

Recursion Theory

Chi Tat Chong, Liang Yu

Inbunden, 2015

2 079 kr

Merlin Carl - Ordinal Computability, Inbunden

Ordinal Computability

Merlin Carl

Inbunden, 2019

1 735 kr

Gabriel Goldberg - Ultrapower Axiom, Inbunden

Ultrapower Axiom

Gabriel Goldberg

Inbunden, 2022

2 784 kr

Isaac Goldbring - Model Theory of Operator Algebras, Inbunden

Model Theory of Operator Algebras

Isaac Goldbring

Inbunden, 2023

2 494 kr

Du kanske också är intresserad av

Steffen Lempp, Marat M. Arslanov - Recursion Theory and Complexity, E-bok

Recursion Theory and Complexity

Steffen Lempp, Marat M. Arslanov

E-bok

2014

2 135 kr

Andre Resner - Preacher and Cross, Häftad

Preacher and Cross

Andre Resner

Häftad, 1999

315 kr

I. R. Shafarevich, A. N. Parshin, M. M. Arslanov - Algebra and Analysis, E-bok

Algebra and Analysis

I. R. Shafarevich, A. N. Parshin, M. M. Arslanov

E-bok

2016

2 002 kr

Florin Manea, Steffen Lempp, Besik Dundua, Gianluca Della Vedova - Unity of Logic and Computation, E-bok

Unity of Logic and Computation

Florin Manea, Steffen Lempp, Besik Dundua, Gianluca Della Vedova

E-bok

2023

985 kr

Edward Schiappa - Beginnings of Rhetorical Theory in Classical Greece, Inbunden

Beginnings of Rhetorical Theory in Classical Greece

Edward Schiappa

Inbunden, 1999

810 kr

Robert Rodin - Free, Perfect, and Now, E-bok

Free, Perfect, and Now

Robert Rodin

E-bok

1999

182 kr

M. M. Arslanov, A. N. Parshin, I. R. Shafarevich - Algebra and Analysis, Inbunden

Algebra and Analysis

M. M. Arslanov, A. N. Parshin, I. R. Shafarevich

Inbunden, 1996

2 191 kr

Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea - Unity of Logic and Computation, Häftad

Del 13967

Unity of Logic and Computation

Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea

Häftad, 2023

811 kr

Ralph Schmidt, Joyce K. Berry, John C. Gordon - Forests to Fight Poverty, Häftad

Forests to Fight Poverty

Ralph Schmidt, Joyce K. Berry, John C. Gordon

Häftad, 1999

409 kr

Zdravko Karakehayov - Embedded Systems Design with 8051 Microcontrollers, Inbunden

Embedded Systems Design with 8051 Microcontrollers

Zdravko Karakehayov

Inbunden, 1999

2 705 kr