HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:NP-complete

Papers
On the Tractability of Un/Satisfiability
Latif Salum
EasyChair Preprint no. 1734
Hybrid Unification in the Description Logic EL
Franz Baader, Oliver Fernandez Gil and Barbara Morawska
In:UNIF 2013. 27th International Workshop on Unification
Copyright © 2012-2023 easychair.org. All rights reserved.