default search action
"P, NP, Co-NP and Weak Systems of Arithmetic."
Claude Sureson (1996)
- Claude Sureson:
P, NP, Co-NP and Weak Systems of Arithmetic. Theor. Comput. Sci. 154(2): 145-163 (1996)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.