๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Note on the Correspondence Between Complexity and Systems Theory

โœ Scribed by Steven E. Phelan

Book ID
110420778
Publisher
Springer
Year
1999
Tongue
English
Weight
615 KB
Volume
12
Category
Article
ISSN
1573-9295

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the correspondence between arithmetic
On the correspondence between arithmetic theories and propositional proof systems โ€“ a survey
โœ Olaf Beyersdorff ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 216 KB

## Abstract The purpose of this paper is to survey the correspondence between bounded arithmetic and propositional proof systems. In addition, it also contains some new results which have appeared as an extended abstract in the proceedings of the conference TAMC 2008 [11]. Bounded arithmetic is cl