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:  29 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers