Completeness of Flat Coalgebraic Fixpoint Logics (bibtex)
by Lutz Schröder, Yde Venema
Reference:
Completeness of Flat Coalgebraic Fixpoint Logics (Lutz Schröder, Yde Venema), In ACM Trans. Comput. Log., vol. 19(1), pp. 4:1–4:34, ACM, 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}},
  }
Powered by bibtexbrowser