Merkliste 
 1 Ergebnisse 
 
1

On the Existence of Algebraically Natural Proofs:

, In: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS),
Chatterjee, Prerona ; Kumar, Mrinal ; Ramya, C.. - p. 870-880 , 2020