Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « dl-paper10 | dl-paper11 | dl-paper12 »

Subsumption in ℱℒ⊥reg with TBoxes Is in ExpTime

• Michał Henne
• Barbara Morawska
• Paweł Parys

PDF