Conference Papers
Year : 2020
Nathalie Sznajder : Connect in order to contact the contributor
https://hal.sorbonne-universite.fr/hal-02490599
Submitted on : Tuesday, February 25, 2020-12:25:30 PM
Last modification on : Friday, May 17, 2024-4:22:03 PM
Dates and versions
Identifiers
- HAL Id : hal-02490599 , version 1
- ARXIV : 1910.14294
- DOI : 10.1007/978-3-030-45231-5_6
Cite
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
124
View
3
Download