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

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

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

Authors

Selected Authors

Löding, Christof
Spinrath, Christopher

Identifier

  • REPORT NUMBER: RWTH-2019-08005