Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
Berlin, Heidelberg / Springer Berlin Heidelberg (2017) [Contribution to a book, Contribution to a conference proceedings]
Fundamentals of computation theory : 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / Ralf Klasing, Marc Zeitoun (eds.)
Authors
Selected Authors
Löding, Christof
Spinrath, Christopher
Identifier
- DOI: 10.1007/978-3-662-55751-8_27
- REPORT NUMBER: RWTH-2018-01270