Disciplines
Computer Sciences (10%); Mathematics (90%)
Keywords
Abstract Measures Of Low Level Complexit,
Bounded Arithmetic,
Propositional Proof Complexity,
Dynamic Ordinal Analysis,
Ordinal Analysis
- Stephen A. Cook, University of Toronto - Canada
- Jan Krajicek, Charles University Prague - Czechia
- Pavel Pudlak, Czech Academy of Science - Czechia
- Jan Johannsen, Freie Universität Berlin - Germany
- Wolfram Pohlers, Westfälische Wilhelms-Universität - Germany
- Toshiyasu Arai, The University of Tokyo - Japan
- Gaisi Takeuti, The University of Tsukuba - Japan
- Albert Atserias, Universitat Politecnica de Catalunya (UPC) - Spain
- Maria Luisa Bonet Carbonell, Universitat Politecnica de Catalunya (UPC) - Spain
- Samuel R. Buss, University of California San Diego - USA