A Tableau Decision Algorithm for Modalized ALC with Constant Domains

From Tetherless World Wiki

Jump to: navigation, search
 A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Has publishing details  72(2):199-232, 2002
Has title  A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Has where published  Studia Logica
Has year  2002
Has author  Carsten Lutz +, Holger Sturm +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:journals/sLogica/LutzSWZ02 +
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