[Back]


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.