Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers

Paul Gallot, Sebastian Maneth, Keisuke Nakano 0001, Charles Peyrat. Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. In Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson, editors, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia. Volume 297 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Authors

Paul Gallot

This author has not been identified. Look up 'Paul Gallot' in Google

Sebastian Maneth

This author has not been identified. It may be one of the following persons: Look up 'Sebastian Maneth' in Google

Keisuke Nakano 0001

This author has not been identified. Look up 'Keisuke Nakano 0001' in Google

Charles Peyrat

This author has not been identified. Look up 'Charles Peyrat' in Google