Modular Games for Coalgebraic Fixed Point Logics

Corina Cîrstea, Mehrnoosh Sadrzadeh. Modular Games for Coalgebraic Fixed Point Logics. Electronic Notes in Theoretical Computer Science, 203(5):71-92, 2008. [doi]

Abstract

Abstract is missing.