Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words

Berlin, Heidelberg / Springer Berlin Heidelberg (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

Fundamentals of computation theory : 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / Ralf Klasing, Marc Zeitoun (eds.)
Seite(n): 341-354

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Löding, Christof
Spinrath, Christopher

Identifikationsnummern