A Congruence-Based Perspective on Finite Tree Automata

Pierre Ganty, Elena GutiƩrrez, Pedro Valero 0001. A Congruence-Based Perspective on Finite Tree Automata. Fundamenta Informaticae, 184(1):1-47, 2021. [doi]

Abstract

Abstract is missing.