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

Löding, Christof; Spinrath, Christopher

Nancy [u.a.] : LORIA [u.a.] (2019)
Fachzeitschriftenartikel

In: Discrete mathematics and theoretical computer science : DMTCS
Band: 21
Heft: 3
Seite(n)/Artikel-Nr.: 4