CPC Workshop: Abstract
Workshop on:
Complexity of Proofs and Computations
December 10, 2000 - December 16, 2000
Abstracts
Eric Allender, Rutgers University
Jan Krajicek, Mathematical Institute of Academy of Sciences
Amir Shpilka, University of Jerusalem
Josh Buresh-Oppenheim, University of Toronto
Antonina Kolokolova, University of Toronto
Alan Woods, University of Western Australia
Gaisi Takeuti, Univesity of Pennsylvania (Extended Abstract)
Tsuyoshi Morioka, University of Toronto
Last updated 14 Feb 2001