Completeness of Flat Coalgebraic Fixpoint Logics (bibtex)

by Lutz Schröder and Yde Venema

Reference:

Lutz Schröder and Yde Venema: Completeness of Flat Coalgebraic Fixpoint Logics, In ACM Trans. Comput. Log., 19(1), pp. 4:1–4:34, 2018. [preprint]

Bibtex Entry:

@article{SchroderVenema18,
  author    = {Lutz Schr{\"{o}}der and
               Yde Venema},
  title     = {Completeness of Flat Coalgebraic Fixpoint Logics},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {19},
  number    = {1},
  pages     = {4:1--4:34},
  year      = {2018},
  url       = {http://doi.acm.org/10.1145/3157055},
  doi       = {10.1145/3157055},
  comment = {<a href="http://arxiv.org/abs/1004.2717">[preprint]</a>},
  publisher = {{ACM}},
  }