ML Anthology

Gabelaia, David

1 publications

JAIR 2005 Combining Spatial and Temporal Logics: Expressiveness vs. Complexity David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev