by Sebastian Enqvist, Fatemeh Seifan and Yde Venema
Reference:
Sebastian Enqvist, Fatemeh Seifan and Yde Venema: Completeness for Coalgebraic Fixpoint Logic, In Jean-Marc Talbot, Laurent Regnier, eds.: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol. 62, pp. 7:1–7:19, 2016.
Bibtex Entry:
@InProceedings{Enq:Com16,
author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
title = {Completeness for Coalgebraic Fixpoint Logic},
OPTcrossref = {},
OPTkey = {},
booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
year = {2016},
editor = {Jean-Marc Talbot and Laurent Regnier},
volume = {62},
OPTnumber = {},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
pages = {7:1--7:19},
OPTmonth = {},
OPTaddress = {},
OPTorganization = {},
OPTpublisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
OPTnote = {},
url = {http://drops.dagstuhl.de/opus/volltexte/2016/6547/pdf/LIPIcs-CSL-2016-7.pdf}
}