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

Berlin, Heidelberg / Springer Berlin Heidelberg (2017) [Contribution to a book, Contribution to a conference proceedings]

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


Selected Authors

Löding, Christof
Spinrath, Christopher