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

Löding, Christof; Spinrath, Christopher (Corresponding author)

Berlin, Heidelberg : Springer Berlin Heidelberg (2017)
Contribution to a book, Contribution to a conference proceedings

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