PSPACE Automata for Description Logics

Jan Hladik, Rafael Peñaloza. PSPACE Automata for Description Logics. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: