Wednesday, August 20, 2008

Cornell Math - Recent Ph.D. Recipients

Cornell Math - Recent Ph.D. Recipients:
"Michael O'Connor Using Tree Automata to Investigate Intuitionistic Propositional Logic"