1 citations · 1 across the 7 of their papers we have counts for
1 paper · 2 filters
Julien Grange, Mathieu Lehaut
We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.