Skip navigation
The Australian National University

ExpTime Tableaux for ALC Using Sound Global Caching

Citation

Gore, R & Nguyen, L 2011, 'ExpTime Tableaux for ALC Using Sound Global Caching', Journal of Automated Reasoning, vol. Online - 10 Dec 2011, p. 46388.

Year

2011

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers