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

Bibliographische Detailangaben

Veröffentlicht in:	Discrete mathematics and theoretical computer science 2019-07, Vol.21 (3), p.1-32
Hauptverfasser:	Löding, Christof, Spinrath, Christopher
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!