The SAT-Tableau Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Uwe Keller, Stijn Heymans. The SAT-Tableau Calculus. In Franz Baader, Carsten Lutz, Boris Motik, editors, Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

This author has not been identified. Look up 'Uwe Keller' in GoogleThis author has not been identified. Look up 'Stijn Heymans' in Google

runs on WebDSL