Skip to content

A Finite Model Construction for Coalgebraic Modal Logic.

Lutz Schrder

Year2006
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.