Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

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

From MaRDI portal
Publication:4608628
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4608628&oldid=18776201"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 14:07.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki