ATL Satisfiability is Indeed EXPTIME-complete

From Tetherless World Wiki

Jump to: navigation, search
 ATL Satisfiability is Indeed EXPTIME-complete
Has publishing details  16(6):765-787, 2006
Has title  ATL Satisfiability is Indeed EXPTIME-complete
Has where published  J. Log. Comput.
Has year  2006
Has author  Dirk Walther +, Carsten Lutz +, Frank Wolter +, Michael Wooldridge +
Has identifier  DBLP:journals/logcom/WaltherLWW06 +
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