First order synthesis for data words revisited

07/10/2023

∙

by   Julien Grange, et al.

∙

0

∙

share

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.