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

DOI10.4230/LIPICS.MFCS.2016.65zbMath1398.68320OpenAlexW2540285709MaRDI QIDQ4608628

Christof Löding, Sarah Winter

Publication date: 21 March 2018

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2016/6477/pdf/LIPIcs-MFCS-2016-65.pdf/

zbMATH Keywords

uniformizationtree transducerstree-automatic relation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers