Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata

Frank Drewes, Richard Mörbitz, Heiko Vogler. Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata. In Pascal Caron, Ludovic Mignot, editors, Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings. Volume 13266 of Lecture Notes in Computer Science, pages 93-105, Springer, 2022. [doi]

Abstract

Abstract is missing.