Jayalal Sarma's talk and Dmitri Itsykson's talk 2007 08 31

Workshop on Computational, Descriptive and Proof Complexity, and Algorithms, Independent University of Moscow, Russia, August 29–31, 2007