Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Stephen Cook | Researchclopedia
Back to researchers
Stephen Cook
California Polytechnic State University
Top Works
Logic, programming, and type systems
Logic, Reasoning, and Knowledge
The relative efficiency of propositional proof systems
Stephen Cook
,
Robert A. Reckhow
1979
819 citations