ℹ️
🇬🇧
Search
Search for people relevant for "Nisan-Wigderson"
Nisan-Wigderson
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Ján Pich Ph.D.
External person at Faculty of Mathematics and Physics
3 publications
Publications
publication
Nisan-Wigderson generatos in proof systems with forms of interpolation
2011 |
Faculty of Mathematics and Physics
publication
Circuit lower bounds in bounded arithmetics
2015 |
Faculty of Mathematics and Physics
publication
LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC
2015 |
Faculty of Mathematics and Physics
Loading network view...
