Some Sahlqvist Completeness Results for Coalgebraic Logics (bibtex)
by Fredrik Dahlqvist, Dirk Pattinson
Reference:
Some Sahlqvist Completeness Results for Coalgebraic Logics (Fredrik Dahlqvist, Dirk Pattinson), In Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Proceedings (Frank Pfenning, ed.), Lecture Notes in Computer Science, vol. 7794, pp. 193–208, Springer, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/fossacs/DahlqvistP13,
  author    = {Fredrik Dahlqvist and
               Dirk Pattinson},
  title     = {Some Sahlqvist Completeness Results for Coalgebraic Logics},
  booktitle = {FoSSaCS},
  pages     = {193-208},
  editor    = {Frank Pfenning},
  booktitle     = {Foundations of Software Science and Computation Structures
               - 16th International Conference, FOSSACS 2013,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7794},
  year      = {2013},
  isbn      = {978-3-642-37074-8},
  ee        = {http://dx.doi.org/10.1007/978-3-642-37075-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser