Barbara Morawska (Technische Universit\"at Dresden)

Identifiers

• name variant Barbara Morawska (Technische Universit\"at Dresden) 0.50 · backfill

Papers (1)

1. Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Franz Baader 1 shared papers
• Stefan Borgwardt 1 shared papers