activity
20202026
most citedSemantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

2 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.LO2022★ 2 cited

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

Diego Figueira, Rémi Morvan

We show that the problem of whether a query is equivalent to a query of tree-width is decidable, for the class of Unions of Conjunctive Regular Path Queries with two-way naviga…

cs.LO2022

First-order separation over countable ordinals

Thomas Colcombet, Sam van Gool, Rémi Morvan

We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Al…