TY  - RPRT
TI  - Logics for Word Transductions with Synthesis
AU  - Luc Dartois
AU  - Emmanuel Filiot
AU  - Nathan Lhote
PY  - 2018
UR  - https://arxiv.org/abs/1701.03670
ID  - 1701.03670
ER  -