Christof Löding, Christopher Spinrath. Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. Discrete Mathematics & Theoretical Computer Science, 21(3), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.