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
Modélisation et Vérification
Béatrice Berard
Modélisation et Vérification
Benedikt Bollig
Laboratoire Spécification et Vérification
Mathieu Lehaut
  • Function : Author
  • PersonId : 1034982
Modélisation et Vérification

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

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

Consult the full text

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN LIP6 UNIV-PARIS-SACLAY SORBONNE-UNIVERSITE SU-SCIENCES ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
124 View
3 Download

Altmetric

Share

More