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