On the Computational Complexity of Spatio-Temporal Logics

From Tetherless World Wiki

Jump to: navigation, search
 On the Computational Complexity of Spatio-Temporal Logics
Has publishing details  pp. 460-464, 2003
Has title  On the Computational Complexity of Spatio-Temporal Logics
Has where published  FLAIRS Conference
Has year  2003
Has author  David Gabelaia +, Roman Kontchakov +, Agi Kurucz +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:conf/flairs/GabelaiaKKWZ03 +
Categories  Proceeding Paper +

 

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