S.A. Cook and A. Kolokolova. A second-order system for polytime reasoning based on Gradel's theorem. Annals of Pure and Applied Logic, 124:193--231, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A second-order theory for NL - Stephen Cook And (2004) Self-citation (Cook Kolokolova) (Correct)
No context found.
S.A. Cook and A. Kolokolova. A second-order system for polytime reasoning based on Gradel's theorem. Annals of Pure and Applied Logic, 124:193--231, 2003.
VTC0: A Second-Order Theory for TC0 - Nguyen, Cook Self-citation (Cook) (Correct)
No context found.
S. Cook and A. Kolokolova. A Second-order System for Polytime Reasoning Based on Gradel's Theorem. In In Proceedings Sixteenth Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 177--186, 2001.
Quantified Propositional Calculus and a Second-Order Theory.. - Cook, Morioka (2004) (1 citation) Self-citation (Cook) (Correct)
No context found.
S. Cook and A. Kolokolova. A second-order system for polytime reasoning based on Gradel's theorem. Annals of Pure and Applied Logic, 124:193--231, 2003.
Theories for Complexity Classes and their Propositional Translations - Cook (2004) Self-citation (Cook) (Correct)
No context found.
S. Cook and A. Kolokolova. A second-order system for polytime reasoning based on Gradel's theorem. Annals of Pure and Applied Logic, 124:193-231, 2003.
The Complexity Of Derivations Of Matrix Identities - Soltys-Kulinicz (2001) (Correct)
No context found.
Stephen A. Cook and Antonina Kolokolova. A second-order system for polytime reasoning based on Gradel's theorem. 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC