| Titel: | A Survey of Decidability Results for Elementary Object Systems | Sprache: | Englisch | Autorenschaft: | Köhler-Bußmeier, Michael  |
Herausgeber*In: | Farwer, Berndt | Erscheinungsdatum: | 2010 | Teil der Schriftenreihe: | Proceedings of the International Workshop on Logic, Agents, and Mobility (LAM 2010) | Konferenz: | International Workshop on Logic, Agents, and Mobility 2010 | URI: | http://hdl.handle.net/20.500.12738/2716 | Einrichtung: | Universität Hamburg | Dokumenttyp: | Konferenzveröffentlichung |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.