Completeness for the coalgebraic cover modality (bibtex)
by Clemens Kupke, Alexander Kurz, Yde Venema
Reference:
Completeness for the coalgebraic cover modality (Clemens Kupke, Alexander Kurz, Yde Venema), In Logical Methods in Computer Science, vol. 8, 2012.
Bibtex Entry:
@article{DBLP:journals/corr/abs-1206-4935,
  author    = {Clemens Kupke and
               Alexander Kurz and
               Yde Venema},
  title     = {Completeness for the coalgebraic cover modality},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  nonumber    = {3},
  year      = {2012},
  ee        = {http://dx.doi.org/10.2168/LMCS-8(3:2)2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser