On the Computational Complexity of Spatio-Temporal Logics.

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Browse the full FlAIRS paper archive.