Sciweavers

125

Voted

STACS
2007
Springer

76views Theoretical Computer Science» more STACS 2007»

16 years 14 days ago

Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of

Lutz Schröder, Dirk Pattinson

claim paper

Read More »