Skip to Main content Skip to Navigation
Conference papers

Parameterized Synthesis for Fragments of First-Order Logic over Data Words

Complete list of metadata

https://hal.sorbonne-universite.fr/hal-02490599
Contributor : Nathalie Sznajder <>
Submitted on : Tuesday, February 25, 2020 - 12:25:30 PM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

106