@misc
{TN_libero_mab2,
author = {
Lück, Martin
AND
Vilander, Mikka
},
title = {
On the succinctness of atoms of dependency
},
edition = {
published Version
}
,
publisher = {Department of Theoretical Computer Science, Technical University of Braunschweig},
isbn = {1860-5974},
keywords = {
Dependence atom
,
Succinctness
,
Team semantics
},
year = {2019},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
booktitle = {Logical Methods in Computer Science 15 (2019), Nr. 3},
address = {
Braunschweig
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}