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)
Contribution to a book, Journal Article

In: International journal of foundations of computer science : IJFCS
Volume: 31
Issue: 6
Page(s)/Article-Nr.: 749-775

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]