Algebraic Characterization of Logically Defined Tree Languages

Zoltán Ésik, Pascal Weil. Algebraic Characterization of Logically Defined Tree Languages. IJAC, 20(2):195-239, 2010. [doi]

Abstract

Abstract is missing.