| Effectiveness in RPL, with applications to continuous logic F Didehvar, K Ghasemloo, M Pourmahdian Annals of Pure and Applied Logic 161 (6), 789-799, 2010 | 8 | 2010 |
| A note on natural proofs and intuitionism K Ghasemloo, J Pich available at karlin. mff. cuni. cz/~ pich/natcons. pdf, 2013 | 3 | 2013 |
| Theories for subexponential-size bounded-depth Frege proofs K Ghasemloo, SA Cook Computer Science Logic 23, 2013 | 3 | 2013 |
| Uniformity and nonuniformity in proof complexity K Ghasemloo University of Toronto (Canada), 2016 | 1 | 2016 |
| Questions answered. in theory.: http://cstheory. stackexchange. com D Clarke, D Eppstein, K Ghasemloo, L Reyzin, A Salamon, P Shor, ... ACM SIGACT News 41 (4), 58-60, 2010 | | 2010 |
| The Proceedings of the IPM 2007 Logic Conference K Aehlig, A Beckmann, M Ardeshir, R Ramezanian, SM Bagheri, B Poizat, ... Elsevier BV, 2010 | | 2010 |
Stephen CookDepartment of Computer Science, University of TorontoVerified email at cs.toronto.edu
