R
Roy Dyckhoff
Publications - 1
Citations - 368
Roy Dyckhoff is an academic researcher. The author has contributed to research in topics: Description logic & Method of analytic tableaux. The author has an hindex of 1, co-authored 1 publications receiving 368 citations.
Papers
More filters
Book
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
TL;DR: The TANCS-2000 Non-classical (Modal) Systems Comparison is presented in this article, where Tableau-based decision procedures for non-well-founded Fragments of set theory are presented.