Handling Non Left-Linear Rules when Completing Tree Automata

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko. Handling Non Left-Linear Rules when Completing Tree Automata. Int. J. Found. Comput. Sci., 20(5):837-849, 2009. [doi]

Abstract

Abstract is missing.