Global caching, inverse roles and fixpoint logics
Citation
Gore, R 2009, 'Global caching, inverse roles and fixpoint logics', International workshop on Description Logics (DL 2009), ed. B. Grau, I. Horrocks, B.Motik, U.Sattler, CEUR-WS.ORG, UK, p. 11.Year
2009ANU Authors
Field of Research
- Computational Logic And Formal Languages