by Christof Löding, Sarah Winter
Reference:
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations (Christof Löding, Sarah Winter), In Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014., 2014.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/LodingW14, author = {Christof L{"{o}}ding and Sarah Winter}, title = "Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations", booktitle = "Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.", pages = "88--101", year = 2014, doi = "10.4204/EPTCS.161.10", timestamp = "Mon, 15 Sep 2014 17:23:24 +0200", biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/LodingW14", bibsource = "dblp computer science bibliography, http://dblp.org" }