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

Christof Lding, Christopher Spinrath

Browse the full FCT paper archive.