Talks and Poster Presentations (with Proceedings-Entry):
U. Keller, S. Heymans:
"The SAT-Tableau Calculus";
Talk: 21st International Workshop on Description Logics (DL 2008),
Dresden, Germany;
2008-05-13
- 2008-05-16; in: "21st International Workshop on Description Logics (DL 2008)",
CEUR Workshop Proceedings,
353
(2008),
ISSN: 1613-0073;
Paper ID 9,
13 pages.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_167780.pdf
Created from the Publication Database of the Vienna University of Technology.