<div class="csl-bib-body">
<div class="csl-entry">Calvanese, D., Kotek, T., Šimkus, M., Veith, H., & Zuleger, F. (2014). Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. In E. Albert & E. Sekerinski (Eds.), <i>Integrated Formal Methods</i> (pp. 3–17). Springer / LNCS. https://doi.org/10.1007/978-3-319-10181-1_1</div>
</div>
-
dc.identifier.isbn
9783319101804
-
dc.identifier.isbn
9783319101811
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55323
-
dc.publisher
Springer / LNCS
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Integrated Formal Methods
-
dc.relation.isbn
978-3-319-10180-4
-
dc.relation.doi
10.1007/978-3-319-10181-1
-
dc.relation.issn
0302-9743
-
dc.description.startpage
3
-
dc.description.endpage
17
-
dc.type.category
Keynote Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
8739
-
tuw.booktitle
Integrated Formal Methods
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Distributed and Parallel Systems
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
10
-
tuw.researchTopic.value
20
-
tuw.researchTopic.value
70
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/978-3-319-10181-1_1
-
dc.description.numberOfPages
15
-
tuw.event.name
International Conference in Integrated Formal Methods (IFM)
