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.fulltext
with Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openaccessfulltext
Open Access
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
crisitem.author.dept
TU Wien
-
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)

265
checked on Nov 23, 2023

Download(s)

62
checked on Nov 23, 2023

Google ScholarTM

Check