On the Boolean Closure of Deterministic Top-Down Tree Automata

Christof Löding, Wolfgang Thomas. On the Boolean Closure of Deterministic Top-Down Tree Automata. Int. J. Found. Comput. Sci., 35(1&2):11-22, January & February 2024. [doi]

Abstract

Abstract is missing.