Steven Rudich

#	Item
1	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-10-25 15:14:14 Complexity classes Natural proof Alexander Razborov P Circuit complexity Steven Rudich Oracle machine Time complexity Gödel Prize Theoretical computer science Applied mathematics Computational complexity theory
2	PDF Document Add to Reading List Source URL: www.cs.uchicago.edu Language: English - Date: 2008-12-17 14:33:43 Computational complexity theory Logic in computer science Alexander Razborov Automated theorem proving Natural proof Nevanlinna Prize Proof complexity Frege system Steven Rudich Theoretical computer science Applied mathematics Mathematics