Arithmetic, Proof Theory, and Computational Complexity
CloteKrajicek
Gebundenes Buch

Arithmetic, Proof Theory, and Computational Complexity

Versandkostenfrei!
Versandfertig in über 4 Wochen
113,99 €
inkl. MwSt.
PAYBACK Punkte
57 °P sammeln!
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory": the study of bounded arithmetic, propositional proof systems, length of proof, and similar themes, and the relations of these topics to computational complexity theory. Issuing from a two-year international collaboration, the book contains articles concerning the existence of the most general unifier, a special case of Kreisel's conjecture on length-of-proof, propositional logic proof size, a new alternating logtime algorithm for boolean formula evaluation and relation to branching prog...