Author:
Atserias Albert,Galesi Nicola,Gavaldà Ricard
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On small-depth Frege proofs for PHP;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
2. On Proof Complexities Relations in Some Systems of Propositional Calculus;Mathematical Problems of Computer Science;2020-12-25
3. Expander construction in VNC1;Annals of Pure and Applied Logic;2020-07
4. On the Numbers of Minimal Tautologies and Properties of Their Proofs in Classical and Nonclassical Logic;Mathematical Problems of Computer Science;2019-12-25
5. Index;Proof Complexity;2019-03-28