Studijní program
Předměty
- Úvod do matematické logikyNMAG162 | Matematicko-fyzikální fakulta
- Logika a složitostNMAG446 | Matematicko-fyzikální fakulta
- Důkazová složitost a P vs. NP problémNMAG536 | Matematicko-fyzikální fakulta
- Logický seminář INAIL056 | Matematicko-fyzikální fakulta
- Logický seminář IINAIL080 | Matematicko-fyzikální fakulta
- Studentský logický seminářNMMB453 | Matematicko-fyzikální fakulta
Publikace
- The Cook-Reckhow definition2023 | Matematicko-fyzikální fakulta
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Matematicko-fyzikální fakulta
- CONSISTENCY OF CIRCUIT LOWER BOUNDS WITH BOUNDED THEORIES2020 | Matematicko-fyzikální fakulta
- A LIMITATION ON THE KPT INTERPOLATION2020 | Matematicko-fyzikální fakulta
- PROOF COMPLEXITY2019 | Matematicko-fyzikální fakulta
- Randomized feasible interpolation and monotone circuits with a local oracle2018 | Matematicko-fyzikální fakulta
- A FEASIBLE INTERPOLATION FOR RANDOM RESOLUTION2017 | Matematicko-fyzikální fakulta
- Expansions of pseudofinite structures and circuit and proof complexity2016 | Matematicko-fyzikální fakulta
- Consistency of circuit evaluation, extended resolution and total NP search problems2016 | Matematicko-fyzikální fakulta
- A REDUCTION OF PROOF COMPLEXITY TO COMPUTATIONAL COMPLEXITY FOR AC(0)[p] FREGE SYSTEMS2015 | Matematicko-fyzikální fakulta
Loading network view...