Bibliography
A Survey of Decidability Results for Elementary Object Systems
Michael Köhler-Bußmeier.
A survey of decidability results for elementary object systems.
In B. Farwer, editor, Proceedings of the International Workshop
on Logic, Agents, and Mobilitty (LAM 2010), 2010.
BibTeX
@InProceedings{Koehler10a,
author = {K{\"o}hler-Bu{\ss}meier, Michael},
title = {A Survey of Decidability Results for Elementary Object Systems},
editor = {Farwer, B.},
booktitle = {Proceedings of the International Workshop
on Logic, Agents, and Mobilitty (LAM 2010)},
year = {2010}
}
