On Finitely Ambiguous Büchi Automata

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

Cham : Springer International Publishing (2018)
Contribution to a book, Contribution to a conference proceedings

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

Institutions

  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]

Identifier