ℹ️
🇬🇧
Search
Search for publications relevant for "AC0p"
AC0p
Publication
Class
Person
Publication
Programmes
Export current view
publication
A REDUCTION OF PROOF COMPLEXITY TO COMPUTATIONAL COMPLEXITY FOR AC(0)[p] FREGE SYSTEMS
2015 |
Faculty of Mathematics and Physics
