Author:
Beame Paul,Impagliazzo Russell,Krajíček Jan,Pitassi Toniann,Pudlák Pavel,Woods Alan
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On some $$\Sigma ^{B}_{0}$$-formulae generalizing counting principles over $$V^{0}$$;Archive for Mathematical Logic;2024-07-22
2. Black-Box PPP Is Not Turing-Closed;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
3. Proof Complexity of Monotone Branching Programs;Revolutions and Revelations in Computability;2022
4. A Logical Autobiography;Outstanding Contributions to Logic;2021-09-25
5. Proof complexity of substructural logics;Annals of Pure and Applied Logic;2021-07