Completeness for Coalgebraic Fixpoint Logic (bibtex)
by Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Reference:
Completeness for Coalgebraic Fixpoint Logic (Sebastian Enqvist, Fatemeh Seifan, Yde Venema), In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) (Jean-Marc Talbot, Laurent Regnier, eds.), 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}
}
Powered by bibtexbrowser