On the Computational Complexity of Spatio-Temporal Logics (2003)

Cached

Download Links

by David Gabelaia , Roman Konchakov , Agi Kurucz , Frank Wolter , Michael Zakharyaschev
Venue:Proceedings of the 16th AAAI International FLAIRS Conference
Citations:21 - 0 self