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
Leitsch, Alexander
-
dc.contributor.author
Hetzl, Stefan
-
dc.date.accessioned
2020-06-30T11:14:22Z
-
dc.date.issued
2004
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Hetzl, S. (2004). <i>Projection-based cut-elimination and normalization</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-10645</div> </div>
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-10645
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/12191
-
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Projection-based cut-elimination and normalization
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Stefan Hetzl
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E185 - Institut für Computersprachen
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC04121996
-
dc.description.numberOfPages
57
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-10645
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.author.orcid
0000-0002-6461-5982
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
item.languageiso639-1
en
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.fulltext
with Fulltext
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0002-6461-5982
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
Appears in Collections:
Thesis
Fulltext (Version of Record (published version))
Adobe PDF
(338.18 kB)
In Copyright
Show simple item record
Page view(s)
219
checked on Nov 21, 2023
Download(s)
64
checked on Nov 21, 2023
Google Scholar
TM
Check