Joost Engelfriet
- The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable
2005/06/06 by Joost Engelfriet, Engelfriet, Joost, Sebastian Maneth +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #DNA and Biological Computing #cs.LO #semigroups and automata theory
- Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size\n Increase and Complexity
2019/04/19 by Joost Engelfriet, Kazuhiro Inaba, Engelfriet, Joost +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #DNA and Biological Computing #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #semigroups and automata theory