%0 Generic
%T Uniform Interpolation for Coalgebraic Fixpoint Logic
%A Marti, Johannes
%A Seifan, Fatemeh
%A Venema, Yde
%A Johannes Marti and Fatemeh Seifan and Yde Venema
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K coalgebra
%K mu-calculus
%K uniform interpolation
%K automata
%D 2015
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation