Documents This page is devoted to my qualification theses. My diploma thesis, thesis for RNDr., and my doctoral dissertation are presented here. My doctoral dissertation (Ph.D.), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Prague, 2008. My thesis for the degree of doctor of natural sciences (RNDr.), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Prague, 2005. My diploma thesis (master's degree, Mgr.), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Prague, 2005.
