Datensatz Zitierlink: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-10645
http://hdl.handle.net/20.500.12708/12191
-
Titel: 
Projection-based cut-elimination and normalization
en
Zitat: 
Hetzl, S. (2004). Projection-based cut-elimination and normalization [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-10645
-
CatalogPlus: 
AC04121996
-
Publikationstyp: 
Hochschulschrift - Diplomarbeit
de
Sprache: 
Englisch
-
Autor_innen: 
Hetzl, Stefan 
-
Betreuer_in: 
Leitsch, Alexander 
-
Organisations­einheit: 
E185 - Institut für Computersprachen 
-
Datum (veröffentlicht): 
2004
-
Umfang: 
57
-
Lizenz: 
Urheberrechtsschutz
de
Enthalten in den Sammlungen:
Thesis

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(338.18 kB)
Open Access Urheberrechtsschutz
Zur Langanzeige

Seiten Aufrufe

304
aufgerufen am 21.11.2023

Download(s)

78
aufgerufen am 21.11.2023

Google ScholarTM

Check