Scholar

Barbara Morawska

Google Scholar ID: ON03Ig4AAAAJ

University of Opole

Automata TheoryLogicDescription LogicComplexity TheoryDecidability

Google Scholar↗

Citations & Impact

All-time

Citations

558

H-index

11

i10-index

14

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

3 items

Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime

2026

Cited

0

FILO -- automated unification in $mathcal{FL}_0$

2025

Cited

0

Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes

2024

Cited

13

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)