Communication Dans Un Congrès
Année : 2020
Nathalie Sznajder : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-02490599
Soumis le : mardi 25 février 2020-12:25:30
Dernière modification le : jeudi 21 mars 2024-03:22:59
Dates et versions
Identifiants
- HAL Id : hal-02490599 , version 1
- ARXIV : 1910.14294
- DOI : 10.1007/978-3-030-45231-5_6
Citer
Nathalie Sznajder, Béatrice Berard, Benedikt Bollig, Mathieu Lehaut. Parameterized Synthesis for Fragments of First-Order Logic over Data Words. 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), Apr 2020, Dublin, Ireland. pp.97-118, ⟨10.1007/978-3-030-45231-5_6⟩. ⟨hal-02490599⟩
Collections
82
Consultations
3
Téléchargements