Title: Projection-based cut-elimination and normalization
Language: English
Authors: Hetzl, Stefan
Qualification level: Diploma
Advisor: Leitsch, Alexander
Issue Date: 2004
Number of Pages: 57
Qualification level: Diploma
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-10645
http://hdl.handle.net/20.500.12708/12191
Library ID: AC04121996
Organisation: E185 - Institut für Computersprachen 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Projection-based cut-elimination and normalization.pdf338.18 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

18
checked on Mar 1, 2021

Download(s)

55
checked on Mar 1, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.