Parameterized Synthesis for Fragments of First-Order Logic over Data Words - Sorbonne Université
Conference Papers Year : 2020

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

Nathalie Sznajder
Béatrice Berard
Mathieu Lehaut
  • Function : Author
  • PersonId : 1034982

Dates and versions

hal-02490599 , version 1 (25-02-2020)

Identifiers

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⟩
124 View
3 Download

Altmetric

Share

More