Datensatz Zitierlink: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37482
http://hdl.handle.net/20.500.12708/12979
-
Titel: 
Simplification of Herbrand sequents
en
Zitat: 
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
-
Publikationstyp: 
Hochschulschrift - Masterarbeit
de
Sprache: 
Englisch
-
Autor_innen: 
Dunchev, Tsvetan Chavdarov 
-
Betreuer_in: 
Leitsch, Alexander 
-
Organisations­einheit: 
E185 - Institut für Computersprachen 
-
Datum (veröffentlicht): 
2009
-
Umfang: 
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
Weitere Information: 
Zsfassung in dt. Sprache
-
Lizenz: 
Urheberrechtsschutz
de
Enthalten in den Sammlungen:
Thesis

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(309.51 kB)
Open Access Urheberrechtsschutz
Zur Langanzeige

Seiten Aufrufe

342
aufgerufen am 23.11.2023

Download(s)

95
aufgerufen am 23.11.2023

Google ScholarTM

Check