Logics for Word Transductions with Synthesis.

Luc Dartois, Emmanuel Filiot, Nathan Lhote

Browse the full LICS paper archive.