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
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-211034