Skip navigation
The Australian National University

Global Caching for Coalgebraic Description Logics

Citation

Gore, R, Kupke, C, Pattinson, D et al 2010, 'Global Caching for Coalgebraic Description Logics', International Joint Conference on Automated Reasoning (IJCAR 2010), ed. Conference Program Committee, Conference Organising Committee, Scotland, p. 15.

Year

2010

ANU Authors

Field of Research

  • Computation Theory And Mathematics

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers