research
∙
12/03/2022
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
We show that the problem of whether a query is equivalent to a query of ...
share
research
∙
01/09/2022
First-order separation over countable ordinals
We show that the existence of a first-order formula separating two monad...
research
∙
10/16/2020
A symmetric attractor-decomposition lifting algorithm for parity games
Progress-measure lifting algorithms for solving parity games have the be...
research
∙
01/13/2020