EXPTIME Tableaux for the Coalgebraic mu-Calculus (bibtex)
by Corina Cîrstea, Clemens Kupke, Dirk Pattinson
Reference:
EXPTIME Tableaux for the Coalgebraic mu-Calculus (Corina Cîrstea, Clemens Kupke, Dirk Pattinson), In Logical Methods in Computer Science, vol. 7, 2011.
Bibtex Entry:
@article{DBLP:journals/corr/abs-1105-2246,
  author    = {Corina C\^{\i}rstea and
               Clemens Kupke and
               Dirk Pattinson},
  title     = {EXPTIME Tableaux for the Coalgebraic mu-Calculus},
  journal   = {Logical Methods in Computer Science},
  volume    = {7},
  nonumber    = {3},
  year      = {2011},
  ee        = {http://dx.doi.org/10.2168/LMCS-7(3:3)2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser