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

Christof Löding, Christopher Spinrath. Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. In Ralf Klasing, Marc Zeitoun, editors, Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings. Volume 10472 of Lecture Notes in Computer Science, pages 341-354, Springer, 2017. [doi]

Authors

Christof Löding

This author has not been identified. Look up 'Christof Löding' in Google

Christopher Spinrath

This author has not been identified. Look up 'Christopher Spinrath' in Google