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

Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat

Browse the full ICALP paper archive.