Projection for Büchi Tree Automata with Constraints between Siblings

Landwehr, Patrick (Corresponding author); Löding, Christof (Corresponding author)

Singapore [u.a.] : World Scient. (2020)
Buchbeitrag, Fachzeitschriftenartikel

In: International journal of foundations of computer science : IJFCS
Band: 31
Heft: 6
Seite(n)/Artikel-Nr.: 749-775

Einrichtungen

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