Coalgebraic Modal Logic in CoCasl. Schröder, L. & Mossakowski, T. In Proceedings of WADT, pages 127-141, 2006.
Coalgebraic Modal Logic in CoCasl [link]Paper  bibtex   
@inproceedings{ dblp3898290,
  title = {Coalgebraic Modal Logic in CoCasl},
  author = {Lutz Schröder and Till Mossakowski},
  author_short = {Schröder, L. and Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3898290},
  id = {dblp3898290},
  biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM06},
  url = {http://dx.doi.org/10.1007/978-3-540-71998-4_8},
  conference = {WADT},
  pages = {127-141},
  text = {WADT 2006:127-141},
  booktitle = {Proceedings of WADT}
}

Downloads: 0