Název: Složitost výrokových důkazů a přepisování
Překlad názvu: Propositional Proof Complexity and Rewriting
Autoři: Cavagnetto, Stefano ; Krajíček, Jan (vedoucí práce) ; Pudlák, Pavel (oponent) ; Baaz, Matthias (oponent)
Typ dokumentu: Disertační práce
Rok: 2008
Jazyk: eng

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/17632

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-294362


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Disertační práce