Bücher online kaufen
-
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and comp...
-
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complex...
-
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and comp...
-
This book introduces a new approach to building models of bounded arithmetic, with techniques dra...
-
Discusses the deep connections between logic and complexity theory, and lists a number of intrigu...
-
This book principally concerns the rapidly growing area of what might be termed 'Logical Complexi...
- 1