Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
Sydney / NICTA (2014) [Contribution to a book, Contribution to a conference proceedings]
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): 88-101
Authors
Authors
Löding, Christof
Winter, Sarah
Identifier
- REPORT NUMBER: RWTH-CONV-211034