Bibliography
A Survey of Elementary Object Systems: Decidability Results
Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik,
2011.
[link]
[link]
BibTeX
@TechReport{Koehler11c,
author = {K{\"o}hler-Bu{\ss}meier, Michael},
title = {A Survey of Elementary Object Systems: Decidability Results},
institution = FBIUniHH,
year = 2011,
optaddress = FBIUniAdresse,
url = {http://edoc.sub.uni-hamburg.de/informatik/volltexte/2011/174/}
}
