Strongly Complete Logics for Coalgebras (bibtex)
by Alexander Kurz, Jirí Rosický
Reference:
Strongly Complete Logics for Coalgebras (Alexander Kurz, Jirí Rosický), In Logical Methods in Computer Science, vol. 8, 2012.
Bibtex Entry:
@article{DBLP:journals/corr/abs-1207-2732,
  author    = {Alexander Kurz and
               Jir\'{\i} Rosick{\'y}},
  title     = {Strongly Complete Logics for Coalgebras},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  nonumber    = {3},
  year      = {2012},
  ee        = {http://dx.doi.org/10.2168/LMCS-8(3:14)2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser