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

Löding, Christof; Spinrath, Christopher

(2019) [Preprint]

Seite(n): 32 Seiten

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-08227

Downloads