Hopp til hovedinnhold
Omslagsbilde

Bounded Arithmetic, Propositional Logic and Complexity Theory

Krajicek, Jan

I salg

Leveringstid: 7-30 dager

Handlinger

Beskrivelse

Omtale

An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.

  • Utgivelsesdato:

    24.11.1995

  • ISBN/Varenr:

    9780521452052

  • Språk:

    Engelsk

  • Forlag:

    Cambridge University Press

  • Innbinding:

    Innbundet

  • Fagtema:

    Matematikk og naturvitenskap

  • Serie:

    Encyclopedia of Mathematics and its Applications

  • Litteraturtype:

    Faglitteratur

  • Sider:

    360

  • Høyde:

    15.9 cm

  • Bredde:

    23.6 cm

Andre bøker i samme serie

Single and Multiple Number Series

Single and Multiple Number Series
Debernardi Pinos, Alberto • Tikhonov, Sergey • Zeltser, Maria • Liflyand, Elijah
9781009562997 Innbundet
31.10.2025
Engelsk

Forventes utgitt
Higher Special Functions : A Theory of the Central Two-Point Connection Problem Based on a Singularity Approach

Higher Special Functions : A Theory of the Central Two-Point Connection Problem Based on a Singularity Approach
Lay, Wolfgang
9781009123198 Innbundet
23.05.2024
Engelsk

Forventes utgitt
Coxeter Bialgebras

Coxeter Bialgebras
Aguiar, Marcelo • Mahajan, Swapneel
9781009243773 Innbundet
17.11.2022
Engelsk

Forventes utgitt
Strongly Regular Graphs

Strongly Regular Graphs
Brouwer, Andries E. • Van Maldeghem, H.
9781316512036 Innbundet
13.01.2022
Engelsk

I salg
Orthogonal Polynomials in the Spectral Analysis of Markov Processes : Birth-Death Models and Diffusion

Orthogonal Polynomials in the Spectral Analysis of Markov Processes : Birth-Death Models and Diffusion
de la Iglesia, Manuel Dominguez
9781316516553 Innbundet
21.10.2021
Engelsk

I salg
Numerical Ranges of Hilbert Space Operators

Numerical Ranges of Hilbert Space Operators
Gau, Hwa-Long • Wu, Pei Yuan
9781108479066 Innbundet
05.08.2021
Engelsk

I salg
Time-Domain Scattering

Time-Domain Scattering
Martin, P. A.
9781108835596 Innbundet
24.06.2021
Engelsk

I salg
Foundations of Constructive Probability Theory

Foundations of Constructive Probability Theory
Chan, Yuen-Kwok
9781108835435 Innbundet
27.05.2021
Engelsk

I salg
Asymptotic Analysis of Random Walks : Light-Tailed Distributions

Asymptotic Analysis of Random Walks : Light-Tailed Distributions
Borovkov, A. A.
9781107074682 Innbundet
29.10.2020
Engelsk

I salg

Andre bøker av samme forfatter

Proof Complexity Generators

Proof Complexity Generators
Krajicek, Jan
9781009611701 Heftet
26.06.2025
Engelsk

Forventes utgitt
Proof Complexity

Proof Complexity
Krajicek, Jan
9781108416849 Innbundet
28.03.2019
Engelsk

I salg
Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity
Krajicek, Jan
9780521154338 Heftet
23.12.2010
Engelsk

Forventes utgitt
Logic Colloquium '01 : Lecture Notes In Logic, 20

Logic Colloquium '01 : Lecture Notes In Logic, 20
9781568812472 Innbundet
07.03.2005
Engelsk

I salg
Logic Colloquium '01 : Lecture Notes In Logic, 20

Logic Colloquium '01 : Lecture Notes In Logic, 20
9781568812489 Heftet
07.03.2005
Engelsk

Produseres på bestilling
Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity
9780198536901 Innbundet
06.05.1993
Engelsk

Forventes utgitt