Type Checking of Tree Walking Transducers

Sebastian Maneth, Sylvia Friese, Helmut Seidl. Type Checking of Tree Walking Transducers. In Modern Applications of Automata Theory. pages 325-372, 2012. [doi]

Abstract

Abstract is missing.