Skip navigation
The Australian National University

Global Caching for Coalgebraic Description Logics


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.



ANU Authors

Field of Research

  • Computation Theory And Mathematics

Updated:  26 May 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers