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

Löding, Christof; Spinrath, Christopher

(2019) [Preprint]

Page(s): 32 Seiten