Titelaufnahme

Titel
Projection-based cut-elimination and normalization / Stefan Hetzl
VerfasserHetzl, Stefan In der Gemeinsamen Normdatei der DNB nachschlagen
Begutachter / BegutachterinLeitsch, Alexander
Erschienen2004
Umfang57 Bl.
HochschulschriftWien, Techn. Univ., Dipl.-Arb., 2004
SpracheEnglisch
Bibl. ReferenzOeBB
DokumenttypDiplomarbeit
URNurn:nbn:at:at-ubtuw:1-10645 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Projection-based cut-elimination and normalization [0.33 mb]
Links
Nachweis
Klassifikation