Coalgebraic semantics of modal logics: An overview (bibtex)
by Clemens Kupke, Dirk Pattinson
Reference:
Coalgebraic semantics of modal logics: An overview (Clemens Kupke, Dirk Pattinson), In Theor. Comput. Sci., vol. 412, pp. 5070–5094, 2011.
Bibtex Entry:
@article{DBLP:journals/tcs/KupkeP11,
  author    = {Clemens Kupke and
               Dirk Pattinson},
  title     = {Coalgebraic semantics of modal logics: An overview},
  journal   = {Theor. Comput. Sci.},
  volume    = {412},
  nonumber    = {38},
  year      = {2011},
  pages     = {5070-5094},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2011.04.023},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser