default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLAM@LICS 2010: Edinburgh, Scotland, United Kingdom
- Berndt Müller:
3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. EPiC Series in Computing 7, EasyChair 2012 - Frank Pfenning:
Possession as Linear Knowledge. 1 - David J. Pym:
Modal Location-Resource-Process Logic for Access Control. 2 - Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. 3-18 - Michael Köhler-Bußmeier:
A Survey of Elementary Object Systems. 19-36 - Michael Köhler-Bußmeier, Frank Heitmann:
Complexity of LTL Model-Checking for Safe Object Nets. 37-51 - Michael Mendler, Stephan Scheele:
Towards a Simply Typed CALculus for Semantic Knowledge Bases. 52-67 - Vivek Nigam, Limin Jia
, Anduo Wang, Boon Thau Loo, Andre Scedrov:
An Operational Semantics for Network Datalog. 68-81 - Prakash Panangaden, Mehrnoosh Sadrzadeh:
Towards a Logic for Reasoning About Learning in a Changing World. 82-95 - Thierry Sans, Iliano Cervesato:
QWeS2T for Type-Safe Web Programming. 96-112
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
