Show simple item record

Složitost výrokových důkazů a přepisování
dc.contributor.advisorKrajíček, Jan
dc.creatorCavagnetto, Stefano
dc.date.accessioned2018-11-30T12:14:12Z
dc.date.available2018-11-30T12:14:12Z
dc.date.issued2008
dc.identifier.urihttp://hdl.handle.net/20.500.11956/17632
dc.languageEnglishcs_CZ
dc.language.isoen_US
dc.publisherUniverzita Karlova, Matematicko-fyzikální fakultacs_CZ
dc.titlePropositional Proof Complexity and Rewritingen_US
dc.typedizertační prácecs_CZ
dcterms.created2008
dcterms.dateAccepted2008-09-04
dc.description.departmentMatematický ústav AV ČR, v.v.i.cs_CZ
dc.description.facultyFaculty of Mathematics and Physicsen_US
dc.description.facultyMatematicko-fyzikální fakultacs_CZ
dc.identifier.repId42079
dc.title.translatedSložitost výrokových důkazů a přepisovánícs_CZ
dc.contributor.refereePudlák, Pavel
dc.contributor.refereeBaaz, Matthias
dc.identifier.aleph001005960
thesis.degree.namePh.D.
thesis.degree.leveldoktorskécs_CZ
thesis.degree.disciplineAlgebra, teorie čísel a matematická logikacs_CZ
thesis.degree.disciplineAlgebra, Theory of Numbers and Mathematical Logicen_US
thesis.degree.programMathematicsen_US
thesis.degree.programMatematikacs_CZ
uk.faculty-name.csMatematicko-fyzikální fakultacs_CZ
uk.faculty-name.enFaculty of Mathematics and Physicsen_US
uk.faculty-abbr.csMFFcs_CZ
uk.degree-discipline.csAlgebra, teorie čísel a matematická logikacs_CZ
uk.degree-discipline.enAlgebra, Theory of Numbers and Mathematical Logicen_US
uk.degree-program.csMatematikacs_CZ
uk.degree-program.enMathematicsen_US
thesis.grade.csProspěl/acs_CZ
thesis.grade.enPassen_US
uk.file-availabilityV
uk.publication-placePrahacs_CZ
uk.grantorUniverzita Karlova, Matematicko-fyzikální fakulta, Matematický ústav AV ČR, v.v.i.cs_CZ
thesis.grade.codeP


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV