Handling Left-Quadratic Rules When Completing Tree Automata

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata. Electronic Notes in Theoretical Computer Science, 223:61-70, 2008. [doi]

Abstract

Abstract is missing.