DS-2024-05: Fatemeh Seifan Coalgebraic fixpoint logic Expressivity and completeness result 1.Full Text, 2.Abstract, 3.Samenvatting. < Back
