Go to the corresponding LIPIcs Volume Portal 
Enqvist, Sebastian ; Seifan, Fatemeh ; Venema, Yde
pdfformat: 

@InProceedings{enqvist_et_al:LIPIcs:2016:6547, author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema}, title = {{Completeness for Coalgebraic Fixpoint Logic}}, booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)}, pages = {7:17:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770224}, ISSN = {18688969}, year = {2016}, volume = {62}, editor = {JeanMarc Talbot and Laurent Regnier}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6547}, URN = {urn:nbn:de:0030drops65470}, doi = {10.4230/LIPIcs.CSL.2016.7}, annote = {Keywords: mucalculus, coalgebra, coalgebraic modal logic, automata, completeness} }
Keywords:  mucalculus, coalgebra, coalgebraic modal logic, automata, completeness  
Seminar:  25th EACSL Annual Conference on Computer Science Logic (CSL 2016)  
Issue Date:  2016  
Date of publication:  25.08.2016 