Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers

Saarbrücken/Wadern / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016) [Contribution to a conference proceedings]

41st International Symposium on Mathematical Foundations of Computer Science : MFCS 2016, August 22-26, 2016, Kraków, Poland / edited by Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier
Page(s): 65:1-65:14, 14 Seiten

Authors

Authors

Löding, Christof
Winter, Sarah

Identifier