Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.

Dirk Pattinson, Lutz Schrder

Browse the full FOSSACS paper archive.