DBLP Record 'journals/corr/abs-0812-2390'

BibTeX

@article{DBLP:journals/corr/abs-0812-2390,
  author    = {Luigi Santocanale and
               Yde Venema},
  title     = {Completeness for Flat Modal Fixpoint Logics},
  journal   = {CoRR},
  volume    = {abs/0812.2390},
  year      = {2008},
  ee        = {http://arxiv.org/abs/0812.2390},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}