First order synthesis for data words revisited - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2023

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.

Dates et versions

hal-04708846 , version 1 (25-09-2024)

Identifiants

Citer

Julien Grange, Mathieu Lehaut. First order synthesis for data words revisited. 2024. ⟨hal-04708846⟩

Collections

LACL UPEC
0 Consultations
0 Téléchargements

Altmetric

Partager

More