Tree automata with constraints and tree homomorphisms

Carles Creus. Tree automata with constraints and tree homomorphisms. PhD thesis, Polytechnic University of Catalonia, Spain, 2016. [doi]

Abstract

Abstract is missing.