Propositional Proof Complexity and Rewriting
Složitost výrokových důkazů a přepisování
dizertační práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/17632Identifikátory
SIS: 42079
Kolekce
- Kvalifikační práce [10691]
Autor
Vedoucí práce
Oponent práce
Pudlák, Pavel
Baaz, Matthias
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Algebra, teorie čísel a matematická logika
Katedra / ústav / klinika (externí)
Informace není k dispozici
Datum obhajoby
4. 9. 2008
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Prospěl/a