3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.FL2019
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
Compositions of tree-walking tree transducers form a hierarchy with respect to the number of transducers in the composition. As main technical result it is proved that any such com…
cs.FL2015
Quick Brown Fox in Formal Languages
Kazuhiro Inaba
Given a finite alphabet and a deterministic finite automaton on , the problem of determining whether the language recognized by the automaton contains any pangram is \NP-com…
cs.FL2009★ 3 cited
The Complexity of Translation Membership for Macro Tree Transducers
Kazuhiro Inaba, Sebastian Maneth
Macro tree transducers (mtts) are a useful formal model for XML query and transformation languages. In this paper one of the fundamental decision problems on translations, namely t…