Thorsten Liebig

From MaRDI portal
Person:2352497

Available identifiers

zbMath Open liebig.thorstenMaRDI QIDQ2352497

List of research outcomes





PublicationDate of PublicationType
Reasoning with nominal schemas through absorption2015-07-02Paper
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures2014-09-26Paper
Extended Caching, Backjumping and Merging for Expressive Description Logics2012-09-05Paper
Automated Reasoning with Analytic Tableaux and Related Methods2006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q45493922003-02-19Paper

Research outcomes over time

This page was built for person: Thorsten Liebig

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2352497&oldid=6794235"
Powered by MediaWiki