liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*
University of Warsaw.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2009 (English)In: Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS&P), 2009, 431-442 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
2009. 431-442 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-75000OAI: oai:DiVA.org:liu-75000DiVA: diva2:499730
Conference
18th International Workshop on Concurrency, Specification and Programming
Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2012-02-20

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 87 hits
ReferencesLink to record
Permanent link

Direct link