Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
DC Element
Wert
Sprache
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
-
Enthalten in den Sammlungen:
Thesis
Zur Kurzanzeige
Seiten Aufrufe
68
aufgerufen am 01.12.2023
Google Scholar
TM
Check