Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-02490599
Contributor : Nathalie Sznajder <>
Submitted on : Tuesday, February 25, 2020 - 12:25:30 PM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM

Identifiers

  • HAL Id : hal-02490599, version 1

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 2020), Apr 2020, Dublin, Ireland. ⟨hal-02490599⟩

Share

Metrics

Record views

55