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

Löding, Christof; Spinrath, Christopher

Nancy [u.a.] : LORIA [u.a.] (2019)
Journal Article

In: Discrete mathematics and theoretical computer science : DMTCS
Volume: 21
Issue: 3
Page(s)/Article-Nr.: 4