On the Boolean Closure of Deterministic Top-Down Tree Automata

Löding, Christof (Corresponding author); Thomas, Wolfgang

Singapore [u.a.] : World Scient. (2023)
Fachzeitschriftenartikel

In: International journal of foundations of computer science
Seite(n)/Artikel-Nr.: 1-12

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]