A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryR. Kontchakov
View the documentR. Kontchakov Combining Spatial and Temporal Logics: Expressiveness vs. Complexity - D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev