Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Löding, Christof; Winter, Sarah
Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)
Contribution to a book, Contribution to a conference proceedings
In: 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)/Article-Nr.: 65:1-65:14, 14 Seiten
Identifier
- DOI: 10.4230/LIPIcs.MFCS.2016.65
- DOI: 10.18154/RWTH-CONV-211028
- RWTH PUBLICATIONS: RWTH-CONV-211028