Completeness for the coalgebraic cover modality (2012)

First Author: Kupke C

Attributed to: ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1206.4935

Publication URI: https://arxiv.org/abs/1206.4935

Type: Other