| dc.contributor.advisor | Krajíček, Jan | |
| dc.creator | Cavagnetto, Stefano | |
| dc.date.accessioned | 2021-01-15T17:41:48Z | |
| dc.date.available | 2021-01-15T17:41:48Z | |
| dc.date.issued | 2008 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/17632 | |
| dc.language | English | cs_CZ |
| dc.language.iso | en_US | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.title | Propositional Proof Complexity and Rewriting | en_US |
| dc.type | dizertační práce | cs_CZ |
| dcterms.created | 2008 | |
| dcterms.dateAccepted | 2008-09-04 | |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.identifier.repId | 42079 | |
| dc.title.translated | Složitost výrokových důkazů a přepisování | cs_CZ |
| dc.contributor.referee | Pudlák, Pavel | |
| dc.contributor.referee | Baaz, Matthias | |
| dc.identifier.aleph | 001005960 | |
| thesis.degree.name | Ph.D. | |
| thesis.degree.level | doktorské | cs_CZ |
| thesis.degree.discipline | Algebra, Theory of Numbers and Mathematical Logic | en_US |
| thesis.degree.discipline | Algebra, teorie čísel a matematická logika | cs_CZ |
| thesis.degree.program | Mathematics | en_US |
| thesis.degree.program | Matematika | cs_CZ |
| uk.thesis.type | dizertační práce | cs_CZ |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Algebra, teorie čísel a matematická logika | cs_CZ |
| uk.degree-discipline.en | Algebra, Theory of Numbers and Mathematical Logic | en_US |
| uk.degree-program.cs | Matematika | cs_CZ |
| uk.degree-program.en | Mathematics | en_US |
| thesis.grade.cs | Prospěl/a | cs_CZ |
| thesis.grade.en | Pass | en_US |
| uk.file-availability | V | |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| thesis.grade.code | P | |
| uk.publication-place | Praha | cs_CZ |
| uk.thesis.defenceStatus | O | |
| uk.departmentExternal.name | Matematický ústav AV ČR, v.v.i. | cs |
| dc.identifier.lisID | 990010059600106986 | |
