Undecidability of the unification and admissibility problems for modal and description logics

From Tetherless World Wiki

Jump to: navigation, search
 Undecidability of the unification and admissibility problems for modal and description logics
Has publishing details  9(4), 2008
Has title  Undecidability of the unification and admissibility problems for modal and description logics
Has where published  ACM Trans. Comput. Log.
Has year  2008
Has author  Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:journals/tocl/WolterZ08 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools