TY - GEN
AU - Marti, Johannes
AU - Seifan, Fatemeh
AU - Venema, Yde
AU - Johannes Marti and Fatemeh Seifan and Yde Venema
TI - Uniform Interpolation for Coalgebraic Fixpoint Logic
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - coalgebra
KW - mu-calculus
KW - uniform interpolation
KW - automata
PY - 2015
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