( en | de | ru )

 

Disambiguation of "Löding, Christof"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient inclusion testing for simple classes of unambiguous ω-automata.

, and . Inf. Process. Lett., 112 (14-15): 578-582 (2012)

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 . Inf. Comput., (2017)Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations., and . GandALF, volume 161 of EPTCS, page 88-101. (2014)Learning MSO-definable hypotheses on strings., , and . ALT, volume 76 of Proceedings of Machine Learning Research, page 434-451. PMLR, (2017)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)Basics on Tree Automata.. Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, World Scientific, (2012)Efficient inclusion testing for simple classes of unambiguous ω-automata., and . Inf. Process. Lett., 112 (14-15): 578-582 (2012)Model-guided synthesis of inductive lemmas for FOL with least fixpoints., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 1873-1902 (2022)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)Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games., , , and . MASS, page 461-469. IEEE Computer Society, (2014)