DC Field
Value
Language
dc.contributor.author
Pagel, Jens
-
dc.contributor.author
Zuleger, Florian
-
dc.date.accessioned
2022-08-04T17:06:50Z
-
dc.date.available
2022-08-04T17:06:50Z
-
dc.date.issued
2022
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Pagel, J., &#38; Zuleger, F. (2022). Strong-separation Logic. In <i>ESOP 2021: Programming Languages and Systems</i> (pp. 664–692). Springer. https://doi.org/10.1007/978-3-030-72019-3_24</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/57890
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Software
-
dc.title
Strong-separation Logic
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.description.startpage
664
-
dc.description.endpage
692
-
dc.type.category
Full-Paper Contribution
-
dc.publisher.place
12648
-
tuw.booktitle
ESOP 2021: Programming Languages and Systems
-
tuw.container.volume
12648
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-030-72019-3_24
-
dc.description.numberOfPages
29
-
tuw.author.orcid
0000-0003-1468-8398
-
tuw.event.name
30th European Symposium on Programming (ESOP 2021)
-
tuw.event.startdate
27-03-2021
-
tuw.event.enddate
01-04-2021
-
tuw.event.online
Online
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Luxembourg
-
tuw.event.country
LU
-
tuw.event.presenter
Zuleger, Florian
-
tuw.presentation.online
Online
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Logic and Computation (LC)
de
wb.facultyfocus
Logic and Computation (LC)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.grantfulltext
restricted
-
item.languageiso639-1
en
-
item.openairetype
Konferenzbeitrag
-
item.openairetype
Inproceedings
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Conference Paper
Show simple item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

137
checked on Oct 17, 2023

Google ScholarTM

Check