𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A correspondence between WZW and Liouville theories on discs

✍ Scribed by Kazuo Hosomichi


Book ID
103870117
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
171 KB
Volume
171
Category
Article
ISSN
0920-5632

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the correspondence between arithmetic
✍ 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