No. Title Author Year
1 Theories for Subexponential-size Bounded-depth Frege Proofs Ghasemloo, Kaveh et al. 2013
2 Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) Cook, Stephen A. 2012
3 A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem LĂȘ, Dai Tri Man et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI