DC Field
Value
Language
dc.contributor.advisor
Leitsch, Alexander
-
dc.contributor.author
Dunchev, Tsvetan Chavdarov
-
dc.date.accessioned
2020-06-30T16:09:08Z
-
dc.date.issued
2009
-
dc.date.submitted
2009-09
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Dunchev, T. C. (2009). <i>Simplification of Herbrand sequents</i> [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37482</div> </div>
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37482
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/12979
-
dc.description
Zsfassung in dt. Sprache
-
dc.description.abstract
Eines der wichtigsten Resultate der mathematischen Logik ist der Satz von Herbrand, welcher besagt dass ein skolemisiertes Sequent S =A1,...,An
de
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Herbrand, Sequent, Simplification, Algorithm, CERES-method, LK
en
dc.subject
Herbrand, Sequent, Vereinfachung, Algorithmus, CERES-Methode, LK
de
dc.title
Simplification of Herbrand sequents
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Tsvetan Chavdarov Dunchev
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E185 - Institut für Computersprachen
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC07452335
-
dc.description.numberOfPages
46
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-37482
-
dc.thesistype
Masterarbeit
de
dc.thesistype
Master Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
item.languageiso639-1
en
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E100 - Fakultät für Mathematik und Geoinformation
-
Appears in Collections:
Thesis
Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(309.51 kB)
Open Access In Copyright
Show simple item record

Page view(s)

373
checked on Nov 23, 2023

Download(s)

100
checked on Nov 23, 2023

Google ScholarTM

Check