Record link: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37482
http://hdl.handle.net/20.500.12708/12979
-
Title: 
Simplification of Herbrand sequents
en
Citation: 
Dunchev, T. C. (2009). Simplification of Herbrand sequents [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37482
-
CatalogPlus: 
AC07452335
-
Publication Type: 
Thesis - Masterarbeit
en
Language: 
English
-
Authors: 
Dunchev, Tsvetan Chavdarov 
-
Advisor: 
Leitsch, Alexander 
-
Organisational Unit: 
E185 - Institut für Computersprachen 
-
Date (published): 
2009
-
Number of Pages: 
46
-
Keywords: 
Herbrand, Sequent, Simplification, Algorithm, CERES-method, LK
en
 
Herbrand, Sequent, Vereinfachung, Algorithmus, CERES-Methode, LK
de
Abstract: 
Eines der wichtigsten Resultate der mathematischen Logik ist der Satz von Herbrand, welcher besagt dass ein skolemisiertes Sequent S =A1,...,An
de
Additional information: 
Zsfassung in dt. Sprache
-
License: 
In Copyright
de
Appears in Collections:
Thesis

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(309.51 kB)
Open Access In Copyright
Show full item record

Page view(s)

265
checked on Nov 23, 2023

Download(s)

62
checked on Nov 23, 2023

Google ScholarTM

Check