Completeness for Coalgebraic Fixpoint Logic.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Browse the full CSL paper archive.