%0 Journal Article %1 journals/jcss/MartiV15 %A Marti, Johannes %A Venema, Yde %D 2015 %J J. Comput. Syst. Sci. %K dblp %N 5 %P 880-900 %T Lax extensions of coalgebra functors and their logic. %U http://dblp.uni-trier.de/db/journals/jcss/jcss81.html#MartiV15 %V 81

@article{journals/jcss/MartiV15, added-at = {2021-02-16T00:00:00.000+0100}, author = {Marti, Johannes and Venema, Yde}, biburl = {https://www.bibsonomy.org/bibtex/2dedd00c9a220f963c7e8c49a94d60d59/dblp}, ee = {https://doi.org/10.1016/j.jcss.2014.12.006}, interhash = {08afb37c4e8eb09eae97af5609c6b201}, intrahash = {dedd00c9a220f963c7e8c49a94d60d59}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 5, pages = {880-900}, timestamp = {2024-04-08T19:14:08.000+0200}, title = {Lax extensions of coalgebra functors and their logic.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss81.html#MartiV15}, volume = 81, year = 2015 }