arnold beckmann's pages

Bounded Arithmetic and Resolution-Based Proof Systems

Author: Arnold Beckmann and Jan Johannsen
Title: Bounded Arithmetic and Resolution-Based Proof Systems
Series: Collegium Logicum Volume 7, published by the Kurt Gödel Society
Year: 2004
Pages: 126

Abstract: This book is about two topics on the borderline between logic and complexity theory, and in particular about the connections between these. The first topic is Bounded Arithmetic, and the other is the complexity of propositional proof systems.

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!