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:
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; Vereinfachung; Algorithmus; CERES-Methode; LK
de
Herbrand; Sequent; Simplification; Algorithm; CERES-method; LK
en
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
Fulltext (Version of Record (published version))
Adobe PDF
(309.51 kB)
In Copyright
Show full item record
Google Scholar
TM
Check