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 / Klasing, Ralf (Editor) ; Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, Chapter 27 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-662-55750-1=978-3-662-55751-8 ; doi:10.1007/978-3-662-55751-8


Selected Authors

Löding, Christof
Spinrath, Christopher