2 citations found. Retrieving documents...
J.Krajicek; On Frege and Extended Frege Proof Systems. To appear.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Count(q) does not imply Count(p) - Riis (1994)   (Correct)

No context found.

J.Krajicek; On Frege and Extended Frege Proof Systems. To appear.


Count(q) does not imply Count(p) - Riis (1995)   (Correct)

No context found.

J. Krajicek; On Frege and Extended Frege Proof Systems. To appear.

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