Bibliographic Metadata

Title
Projection-based cut-elimination and normalization / Stefan Hetzl
AuthorHetzl, Stefan In der Gemeinsamen Normdatei der DNB nachschlagen
CensorLeitsch, Alexander
Published2004
Description57 Bl.
Institutional NoteWien, Techn. Univ., Dipl.-Arb., 2004
LanguageEnglish
Bibl. ReferenceOeBB
Document typeThesis (Diplom)
URNurn:nbn:at:at-ubtuw:1-10645 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Projection-based cut-elimination and normalization [0.33 mb]
Links
Reference
Classification