DC Field
Value
Language
dc.contributor.author
Kovács, Laura
-
dc.date.accessioned
2023-03-04T11:39:41Z
-
dc.date.issued
2012
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Kovács, L. (2012). <i>Symbol elimination in program analysis</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159069</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/159069
-
dc.description
Enth. Originalbeitr. u 12 Veröffentl. des Verf.
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Computeralgebra
de
dc.subject
Symbol
de
dc.subject
Elimination
de
dc.subject
Aufsatzsammlung
de
dc.subject
Automatisches Beweisverfahren
de
dc.subject
Programmlaufzeit
de
dc.title
Symbol elimination in program analysis
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.type.qualificationlevel
Habilitation
-
dc.identifier.libraryid
AC10799600
-
dc.description.numberOfPages
205
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
tuw.author.orcid
0000-0002-8299-2714
-
item.languageiso639-1
en
-
item.openairetype
thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_46ec
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.orcid
0000-0002-8299-2714
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Thesis
Show simple item record

Page view(s)

52
checked on Nov 28, 2023

Google ScholarTM

Check