On the Boolean Closure of Deterministic Top-Down Tree Automata

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

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

In: International journal of foundations of computer science
Page(s)/Article-Nr.: 1-12

Institutions

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

Identifier