( en | de | ru )

 

Disambiguation of "Löding, Christof"

Author of the publication

copydeleteadd this publication to your clipboard
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers.

, and . MFCS, volume 58 of LIPIcs, page 65:1-65:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christof Löding

Ingrid Löding

Heinz Löding

Dörte Löding

Walter Löding

 

Other publications of authors with the same name

Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations., and . GandALF, volume 161 of EPTCS, page 88-101. (2014)Projection for Büchi Tree Automata with Constraints Between Siblings., and . DLT, volume 11088 of Lecture Notes in Computer Science, page 478-490. Springer, (2018)Transformation Between Regular Expressions and omega-Automata., and . MFCS, volume 58 of LIPIcs, page 88:1-88:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Projection for Büchi Tree Automata with Constraints between Siblings., and . Int. J. Found. Comput. Sci., 31 (6): 749-775 (2020)Learning MSO-definable hypotheses on strings., , and . ALT, volume 76 of Proceedings of Machine Learning Research, page 434-451. PMLR, (2017)Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games., , , and . MASS, page 461-469. IEEE Computer Society, (2014)The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem., and . CSL, volume 5213 of Lecture Notes in Computer Science, page 416-430. Springer, (2008)Regular Cost Functions over Finite Trees., and . LICS, page 70-79. IEEE Computer Society, (2010)Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata., and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 522-541. Springer, (2020)Decision Problems for Deterministic Pushdown Automata on Infinite Words.. AFL, volume 151 of EPTCS, page 55-73. (2014)