A Curry-Howard approach to church's synthesis
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 over infinite words, Church's synthesis can theoretically be solved algorithmically using automata a...
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Conference item |
| Argitaratua: |
Schloss Dagstuhl
2017
|