Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Birkbeck College London
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
Exponential Lower Bounds and Separation for Query Rewriting
Spatial logics with connectedness predicates
Topological Logics with Connectedness over Euclidean Spaces
Undecidability of the unification and admissibility problems for modal and description logics
No associations
LandOfFree
Michael Zakharyaschev does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Michael Zakharyaschev, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Michael Zakharyaschev will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-56943