Tree-to-tree Hennie machines compute functions with linear size-to-height increase that lie between LSHI macro tree transducers and MSO set interpretations, are closed under specific compositions, contain the strict linear-height MTT composition hierarchy, and are equivalently characterized by a lin
Automata theory and higher-order model-checking
1 Pith paper cite this work, alongside 5 external citations. Polarity classification is still indexing.
1
Pith paper citing it
5
external citations · external index
citation-role summary
background 1
citation-polarity summary
fields
cs.FL 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
Tree-to-tree Hennie machines compute functions with linear size-to-height increase that lie between LSHI macro tree transducers and MSO set interpretations, are closed under specific compositions, contain the strict linear-height MTT composition hierarchy, and are equivalently characterized by a lin