ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "proof"
proof
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Ján Pich Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
3 publikace
Publikace
publication
Circuit lower bounds in bounded arithmetics
2015 |
Matematicko-fyzikální fakulta
publication
Nisan-Wigderson generatos in proof systems with forms of interpolation
2011 |
Matematicko-fyzikální fakulta
publication
LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC
2015 |
Matematicko-fyzikální fakulta
Loading network view...
