Bibliographic Metadata

Title
Simplification of Herbrand sequents / von Tsvetan Chavdarov Dunchev
AuthorDunchev, Tsvetan Chavdarov
CensorLeitsch, Alexander
Published2009
Description46 Bl.
Institutional NoteWien, Techn. Univ., Mag.-Arb., 2009
Annotation
Zsfassung in dt. Sprache
LanguageEnglish
Document typeMaster Thesis
Keywords (DE)Herbrand, Sequent, Vereinfachung, Algorithmus, CERES-Methode, LK
Keywords (EN)Herbrand, Sequent, Simplification, Algorithm, CERES-method, LK
URNurn:nbn:at:at-ubtuw:1-37482 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Simplification of Herbrand sequents [0.3 mb]
Links
Reference
Classification
Abstract (German)

Eines der wichtigsten Resultate der mathematischen Logik ist der Satz von Herbrand, welcher besagt dass ein skolemisiertes Sequent S =A1,...,An

Stats
The PDF-Document has been downloaded 33 times.