Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

Löding, Christof (Corresponding author); Winter, Sarah (Corresponding author)

Sydney : NICTA (2014)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification : Verona, Italy, 10th - 12th September 2014 / Edited by: Adriano Peron and Carla Piazza
Page(s)/Article-Nr.: 88-101