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 cs.FLShow all

2 papers · 1 filter

cs.FL2024

The Algebras for Automatic Relations

Rémi Morvan

We introduce "synchronous algebras", an algebraic structure tailored to recognize automatic relations (aka. synchronous relations, or regular relations). They are the equivalent of…

cs.FL2023

Separating Automatic Relations

Pablo Barceló, Diego Figueira, Rémi Morvan

We study the separability problem for automatic relations (i.e., relations on finite words definable by synchronous automata) in terms of recognizable relations (i.e., finite union…