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]

Abstract

Abstract is missing.