Francois Pitt, Ph.D.
Affiliations: | 2000 | University of Toronto, Toronto, ON, Canada |
Area:
complexity theory, proof complexity, P vs NPGoogle:
"Francois Pitt"Parents
Sign in to add mentorStephen Arthur Cook | grad student | 2000 | University of Toronto | |
(A quantifier -free string theory for ALOGTIME reasoning.) |