HOME
HELP
PREFERENCES
Creators
Search
Titles
Creators
Volume
Phrases
A
B
C
D
E
F
G
H
I-J
K
L
M
N-O
P
Q-R
S
T-V
W
X-Z
R. Kontchakov
R. Kontchakov
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
- D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev