pace−algorithm for deciding ALCIR+−satisfiability"/> Department of Computer Science, University of Oxford: Publication - A PS<span style="font-variant: small-caps;">pace</span>−algorithm for deciding <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">ALCI</span><sub style="font-style: normal">R<sup style="font-style: normal">+</sup></sub></span>−satisfiability
University of Oxford Logo University of OxfordDepartment of Computer Science - Home

A PSpace−algorithm for deciding ALCIR+−satisfiability

I. Horrocks‚ U. Sattler and S. Tobies

Details

Institution

LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany
Number

98−08
Year

1998

Links

BibTeX

Link (pdf)

Related pages