%0 Conference Paper %1 conf/cmcs/EnqvistS14 %A Enqvist, Sebastian %A Sack, Joshua %B CMCS %D 2014 %E Bonsangue, Marcello M. %I Springer %K dblp %P 98-117 %T A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. %U http://dblp.uni-trier.de/db/conf/cmcs/cmcs2014.html#EnqvistS14 %V 8446 %@ 978-3-662-44123-7

@inproceedings{conf/cmcs/EnqvistS14, added-at = {2018-12-23T00:00:00.000+0100}, author = {Enqvist, Sebastian and Sack, Joshua}, biburl = {https://www.bibsonomy.org/bibtex/2bbfdebc5dbe53da11cbb6a39d505d844/dblp}, booktitle = {CMCS}, crossref = {conf/cmcs/2014}, editor = {Bonsangue, Marcello M.}, ee = {https://doi.org/10.1007/978-3-662-44124-4_6}, interhash = {4260e8aa4d43040299ab2f1fd53abff4}, intrahash = {bbfdebc5dbe53da11cbb6a39d505d844}, isbn = {978-3-662-44123-7}, keywords = {dblp}, pages = {98-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:20:58.000+0200}, title = {A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.}, url = {http://dblp.uni-trier.de/db/conf/cmcs/cmcs2014.html#EnqvistS14}, volume = 8446, year = 2014 }