Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

From Tetherless World Wiki

Jump to: navigation, search
 Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
Has publishing details  23:167-243, 2005
Has title  Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
Has where published  J. Artif. Intell. Res. (JAIR)
Has year  2005
Has author  David Gabelaia +, Roman Kontchakov +, \'A gnes Kurucz +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:journals/jair/GabelaiaKKWZ05 +
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