Related Books
Language: en
Pages: 335
Pages: 335
Type: BOOK - Published: 1998 - Publisher: American Mathematical Soc.
The 16 papers reflect some of the breakthroughs over the past dozen years in understanding whether or not logical inferences can be made in certain situations a
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2019-03-28 - Publisher: Cambridge University Press
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic conce
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 1993-05-06 - Publisher: Clarendon Press
This book principally concerns the rapidly growing area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2014-03-06 - Publisher: Cambridge University Press
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the
Language: en
Pages: 65
Pages: 65
Type: BOOK - Published: 1978-01-01 - Publisher: SIAM
An overview of current developments in research on feasible computations; and its relation to provable properties of complexity of computations.