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]

Discrete mathematics and theoretical computer science : DMTCS
Volume: 21
Issue: 3
Page(s): 4

Identifier

Downloads