On Finitely Ambiguous Büchi Automata

Löding, Christof (Corresponding author); Pirogov, Anton (Corresponding author)

Cham : Springer International Publishing (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.)
Seite(n)/Artikel-Nr.: 503-515

Einrichtungen

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

Identifikationsnummern