Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.advisor
Baaz, Matthias
-
dc.contributor.author
Bydžovský, Jan
-
dc.date.accessioned
2023-03-04T10:51:48Z
-
dc.date.issued
2022
-
dc.date.submitted
2022
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Bydžovský, J. (2022). <i>Proofs as finite structures</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158934</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/158934
-
dc.description
Kumulative Dissertation aus drei Artikeln
-
dc.language
English
-
dc.language.iso
en
-
dc.title
Proofs as finite structures
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.publisher.place
Wien
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC16699096
-
dc.description.numberOfPages
97
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.advisor.staffStatus
staff
-
tuw.advisor.orcid
0000-0002-7815-2501
-
item.languageiso639-1
en
-
item.openairetype
doctoral thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
Appears in Collections:
Thesis
Show simple item record
Page view(s)
66
checked on Dec 1, 2023
Google Scholar
TM
Check