Showing 1 - 5 results of 5 for search 'Zakharyaschev, M', query time: 0.02s
Refine Results
-
1
Temporal ontology-mediated queries and first-order rewritability: A short course by Ryzhikov, V, Walega, P, Zakharyaschev, M
Published 2020Journal article -
2
Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semantics by Ryzhikov, V, Walega, P, Zakharyaschev, M
Published 2019Conference item -
3
Topological Logics with Connectedness over Euclidean Spaces by Kontchakov, R, Nenov, Y, Pratt−Hartmann, I, Zakharyaschev, M
Published 2013Journal article -
4
Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity by Bienvenu, M, Kikot, S, Kontchakov, R, Podolskii, VV, Zakharyaschev, M
Published 2018Journal article -
5
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces by Kontchakov, R, Nenov, Y, Pratt−Hartmann, I, Zakharyaschev, M
Published 2011Conference item