DC Element
Wert
Sprache
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.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.mimetype
application/pdf
-
item.openairetype
master thesis
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E100 - Fakultät für Mathematik und Geoinformation
-
Enthalten in den Sammlungen:
Thesis
Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(309.51 kB)
Open Access Urheberrechtsschutz
Zur Kurzanzeige

Seiten Aufrufe

342
aufgerufen am 23.11.2023

Download(s)

95
aufgerufen am 23.11.2023

Google ScholarTM

Check