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

Page view(s)

82
checked on Dec 26, 2024

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record


Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.