par Exibard, Leo ;Filiot, Emmanuel ;Khalimov, Ayrat
Référence Automata, languages and programming, page (1-19), 122
Publication Publié, 2022-07-01
Article révisé par les pairs
Titre:
  • A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
Auteur:Exibard, Leo; Filiot, Emmanuel; Khalimov, Ayrat
Informations sur la publication:Automata, languages and programming, page (1-19), 122
Statut de publication:Publié, 2022-07-01
Sujet CREF:Sciences exactes et naturelles
Langue:Français
Identificateurs:urn:issn:0170-1495

Documents en relation

DI-fusion