Alert button

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Nov 19, 2020
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: