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