First order synthesis for data words revisited
Résumé
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.
Julien Grange : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04708846
Soumis le : mercredi 25 septembre 2024-10:43:18
Dernière modification le : jeudi 26 septembre 2024-03:07:19
Dates et versions
Identifiants
- HAL Id : hal-04708846 , version 1
- ARXIV : 2307.04499
- DOI : 10.48550/arXiv.2307.04499
Citer
Julien Grange, Mathieu Lehaut. First order synthesis for data words revisited. 2024. ⟨hal-04708846⟩
7
Consultations
0
Téléchargements