Skip navigation
The Australian National University

EXPTIME tableaux for ALC using sound global caching

Citation

Gore, R & Nguyen, L 2007, 'EXPTIME tableaux for ALC using sound global caching', International Workshop on Description Logics (DL 2007), ed. Diego Calvanese et al, Bozen-Bolzano University Press, Bozen-Bolzano, p. 8.

Year

2007

ANU Authors

Fields of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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