ECCC
Electronic Colloquium on Computational Complexity
Login | Register | Classic Style



ECCC BOOKS, LECTURES AND SURVEYS > THESES:
Please select: Click here to see the instructions.

PhD-Theses:


Guang Yang: David Gajser: Thomas Weir Watson: Sebastian Müller: Shaddin Dughmi: Abuzer Yakaryilmaz: Mahdi Cheraghchi Bashi Astaneh: Jayalal Sarma M.N.: Stefano Cavagnetto: Phuong Nguyen: Alexander Hertel: Jakob Nordström: Ryan Williams: Neeraj Kayal: Olaf Beyersdorff: Emanuele Viola : Alan Skelley : Hubert Ming Chen: Morioka, Tsuyoshi: Jerabek, Emil: Aaronson, Scott: Kolokolova, Antonina: Hanika, Jiri: Esteban, Juan Luis: Thapen, Neil: Kalnishkan, Yuri: Sack, Harald: Soltys, Michael: Pitt, Francois: Kosub, Sven: Ulfberg, Stafan: Reingold, Omer: Vinodchandran N. V.: Harald Hempel: Berthold Ruf: Thorsten Theobald: Luca Trevisan: Tomoyuki Yamakami: Amnon Ta-Shma: Yongge Wang: Richard Beigel: Anna Gal: Stephen J. Ponzio: Bernd Borchert: Elvira Mayordomo: Back to document top.

Master-/Diploma-Theses


Jan Pich:
  • Hard tautologies
    Charles University in Prague, Faculty of Mathematics and Physics, Prague, 2011
Yoav Tzur: Ondrej Mikle:
  • Strong Proof System
    Charles University in Prague, Faculty of Mathematics and Physics, Prague, 2007
Marc Thurley: Pavel Sanda: Cheraghchi, Mahdi: Zivny, Stanislav: Hernich, AndrÉ: Periklis A. Papakonstantinou: Mark Braverman: Phuong Nguyen: Han Henzl: Robert Spalek: Alan Skelley: Till Tantau: Shai Gutner: Back to document top.


ISSN 1433-8092 | Imprint