STACS   2001 Annual Symposium on Theoretical Aspects of Computer Science
Wall of Fame | Most Viewed STACS-2001 Paper
13 years 7 months ago
Semantical Principles in the Modal Logic of Coalgebras
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
Dirk Pattinson
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source153
2Download preprint from source148
3Download preprint from source147
4Download preprint from source136
5Download preprint from source135
6Download preprint from source130
7Download preprint from source129
8Download preprint from source121
9Download preprint from source118
10Download preprint from source112
11Download preprint from source92
12Download preprint from source88
13Download preprint from source86
14Download preprint from source84