Expressiveness of Positive Coalgebraic Logic (bibtex)
by Krzysztof Kapulkin, Alexander Kurz, Jiri Velebil
Reference:
Expressiveness of Positive Coalgebraic Logic (Krzysztof Kapulkin, Alexander Kurz, Jiri Velebil), In Advances in Modal Logic, AiML 2012 (Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss, eds.), College Publications, 2012.
Bibtex Entry:
@inproceedings{DBLP:conf/aiml/KapulkinKV12,
  author    = {Krzysztof Kapulkin and
               Alexander Kurz and
               Jiri Velebil},
  title     = {Expressiveness of Positive Coalgebraic Logic},
  booktitle = {Advances in Modal Logic},
  editor    = {Thomas Bolander and
               Torben Bra{\"u}ner and
               Silvio Ghilardi and
               Lawrence S. Moss},
  booktitle     = {Advances in Modal Logic, AiML 2012},
  publisher = {College Publications},
  year      = {2012},
  isbn      = {978-1-84890-068-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser