Sciweavers

STACS
2007
Springer

76views Theoretical Computer Science» more STACS 2007»

13 years 10 months 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 »