Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Monadic Second-Order Logic on Infinite Words"'
Autor:
Pierre Pradic, Colin Riba
Publikováno v:
LICS'18
LICS'18, Jul 2018, Oxford, United Kingdom
LICS
LICS'18, Jul 2018, Oxford, United Kingdom
LICS
International audience; We propose LMSO, a proof system inspired from Linear Logic, as a proof-theoretical framework to extract finite-state stream transducers from linear-constructive proofs of omega-regular specifications. We advocate LMSO as a ste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67a9f605343d7a18cc53f1419f42c465
https://hal.science/hal-01698648v2/document
https://hal.science/hal-01698648v2/document
Autor:
Pradic, Pierre, Riba, Colin
Publikováno v:
FSCD'17
FSCD'17, Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.29⟩
FSCD'17, Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.29⟩
Church's synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic (MSO) over infinite words, Church's synthesis can theoretica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6d6951487789681245518f0f8d6be8b
http://arxiv.org/abs/1803.08958
http://arxiv.org/abs/1803.08958
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.