"289" Result
Sort By:
Topics and features: Concise, focused materials cover the most fundamental concepts and results in the field of modern complexity theory, including the theory of NP-completeness, NP-hardness, the polynomial hierarchy, and complete problems for other complexity classes Contains i…
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate o…
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.