Complexity and succinctness of public announcement logic

From Tetherless World Wiki

Jump to: navigation, search
 Complexity and succinctness of public announcement logic

Has publishing details  pp. 137-143, 2006

Has title  Complexity and succinctness of public announcement logic

Has where published  AAMAS

Has year  2006

Has author  Carsten Lutz +

Has identifier  DBLP:conf/atal/Lutz06 +

Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Views
Personal tools