TY - GEN
AU - Ciancia, Vincenzo
AU - Venema, Yde
AU - Vincenzo Ciancia and Yde Venema
TI - Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - omega-automata
KW - coalgebra
KW - bisimilarity
KW - regular omega-languages
KW - streams
PY - 2019
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation