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

Löding, Christof; Spinrath, Christopher

(2019) [Preprint]

Page(s): 32 Seiten

Identifier

  • REPORT NUMBER: RWTH-2019-08227

Downloads