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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.