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]

International journal of foundations of computer science : IJFCS
Band: 31
Ausgabe: 6
Seite(n): 749-775

Identifikationsnummern