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. Discrete Mathematics & Theoretical Computer Science, 21(3), 2019. [doi]

Abstract

Abstract is missing.