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

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"
}

Bookmark the permalink.