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, Technical University of Catalonia - Spain
- Maria Luisa Bonet Carbonell, Universitat Politecnica de Catalunya (UPC) - Spain
- Samuel R. Buss, University of California San Diego - USA