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
Record link:
http://hdl.handle.net/20.500.12708/184620
-
Title:
A proof tool for Gentzen Calculi
en
Citation:
Spohr, H. (2005).
A proof tool for Gentzen Calculi
[Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184620
-
CatalogPlus:
AC04528313
-
Publication Type:
Thesis - Diplomarbeit
en
Language:
English
-
Authors:
Spohr, Hendrik
-
Advisor:
Leitsch, Alexander
-
Organisational Unit:
E185 - Institut für Computersprachen
-
Date (published):
2005
-
Number of Pages:
38
-
Appears in Collections:
Thesis
Show full item record
Page view(s)
92
checked on Nov 23, 2023
Google Scholar
TM
Check