Author:
Chen Yijia,Flum Jörg,Müller Moritz
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Ben-David, S., Gringauze, A.: On the existence of optimal propositional proof systems and oracle-relativized propositional logic. Electronic Colloquium on Computational Complexity (ECCC), Technical Report TR98-021 (1998)
2. Beyersdorff, O.: On the correspondence between arithmetic theories and propositional proof systems - a survey. Mathematical Logic Quarterly 55(2), 116–137 (2009)
3. Lecture Notes in Computer Science;Y. Chen,2010
4. Chen, Y., Flum, J.: Listings and logics. In: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), pp. 165–174. IEEE Computer Society (2011)
5. Lecture Notes in Computer Science;J.M. Hitchcock,2004