Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
Löding, Christof; Spinrath, Christopher (Corresponding author)
Berlin : Springer (2017)
Contribution to a book, Contribution to a conference proceedings
In: Fundamentals of computation theory : 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / Ralf Klasing, Marc Zeitoun (eds.)
Page(s)/Article-Nr.: 341-354
Identifier
- DOI: 10.1007/978-3-662-55751-8_27
- RWTH PUBLICATIONS: RWTH-2018-01270