External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Blocking Automata for PSPACE DLs

Franz Baader, Jan Hladik, Rafael Peñaloza. Blocking Automata for PSPACE DLs. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Jan Hladik

This author has not been identified. Look up 'Jan Hladik' in Google

Rafael Peñaloza

This author has not been identified. Look up 'Rafael Peñaloza' in Google
runs on