Johannes Marti, Fatemeh Seifan, Yde Venema. Uniform Interpolation for Coalgebraic Fixpoint Logic. In Lawrence S. Moss, Pawel Sobocinski, editors, 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. Volume 35 of LIPIcs, pages 238-252, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.