Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.author
Eisenhofer, Clemens
-
dc.date.accessioned
2023-02-22T12:34:14Z
-
dc.date.available
2023-02-22T12:34:14Z
-
dc.date.issued
2022-09-14
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Eisenhofer, C. (2022, September 14). <i>User-Propagation for Custom Theories in SMT Solving</i> [Presentation]. 14th Alpine Verification Meeting, Frauenchiemsee, Germany. http://hdl.handle.net/20.500.12708/154343</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/154343
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.subject
SMT Solving
en
dc.subject
Theory Reasoning
en
dc.title
User-Propagation for Custom Theories in SMT Solving
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
ERC Consolidator Grant 2020
-
dc.type.category
Presentation
-
tuw.project.title
Automated Reasoning with Theories and Induction for Software Technologies
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.linking
https://avm.sosy-lab.org/2022/program.php
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.author.orcid
0000-0003-0339-1580
-
tuw.event.name
14th Alpine Verification Meeting
en
tuw.event.startdate
12-09-2022
-
tuw.event.enddate
14-09-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Frauenchiemsee
-
tuw.event.country
DE
-
tuw.event.presenter
Eisenhofer, Clemens
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
item.languageiso639-1
en
-
item.openairetype
conference presentation
-
item.grantfulltext
none
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.orcid
0000-0003-0339-1580
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
ERC Consolidator Grant 2020
-
Appears in Collections:
Presentation
Show simple item record
Google Scholar
TM
Check