Title: Simplification of Herbrand sequents
Language: English
Authors: Dunchev, Tsvetan Chavdarov
Qualification level: Diploma
Keywords: Herbrand; Sequent; Vereinfachung; Algorithmus; CERES-Methode; LK
Herbrand; Sequent; Simplification; Algorithm; CERES-method; LK
Advisor: Leitsch, Alexander
Issue Date: 2009
Number of Pages: 46
Qualification level: Diploma
Abstract: 
Eines der wichtigsten Resultate der mathematischen Logik ist der Satz von Herbrand, welcher besagt dass ein skolemisiertes Sequent S =A1,...,An
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37482
http://hdl.handle.net/20.500.12708/12979
Library ID: AC07452335
Organisation: E185 - Institut für Computersprachen 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Simplification of Herbrand sequents.pdf309.51 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

11
checked on Feb 18, 2021

Download(s)

54
checked on Feb 18, 2021

Google ScholarTM

Check


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