Title: | A Survey of Decidability Results for Elementary Object Systems | Language: | English | Authors: | Köhler-Bußmeier, Michael | Editor: | Farwer, Berndt | Issue Date: | 2010 | Part of Series: | Proceedings of the International Workshop on Logic, Agents, and Mobility (LAM 2010) | Conference: | International Workshop on Logic, Agents, and Mobility 2010 | URI: | http://hdl.handle.net/20.500.12738/2716 | Institute: | Universität Hamburg | Type: | Chapter/Article (Proceedings) |
Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.