HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Barbara Morawska

Publications
UNIF 2013. 27th International Workshop on Unification
Konstantin Korovin and Barbara Morawska (editors)
EPiC Series in Computing, volume 19
Recent Advances in Unification for the EL Family
Franz Baader, Stefan Borgwardt and Barbara Morawska
In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Hybrid Unification in the Description Logic EL
Franz Baader, Oliver Fernandez Gil and Barbara Morawska
In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

Computing Unifiers, Description Logic, Description Logics, General Concept Inclusions, Minimal Unifiers, NP-complete, unification2.

Copyright © 2012-2025 easychair.org. All rights reserved.