%0 Journal Article %1 journals/logcom/KurzPV10 %A Kurz, Alexander %A Palmigiano, Alessandra %A Venema, Yde %D 2010 %J J. Log. Comput. %K dblp %N 5 %P 985-990 %T Coalgebra and Logic: A Brief Overview. %U http://dblp.uni-trier.de/db/journals/logcom/logcom20.html#KurzPV10 %V 20

@article{journals/logcom/KurzPV10, added-at = {2023-03-21T00:00:00.000+0100}, author = {Kurz, Alexander and Palmigiano, Alessandra and Venema, Yde}, biburl = {https://www.bibsonomy.org/bibtex/29372642259cd5613babad41722fbd7a4/dblp}, ee = {https://doi.org/10.1093/logcom/exn094}, interhash = {175ac5c50e64d7bb98e35f0e3d20a76c}, intrahash = {9372642259cd5613babad41722fbd7a4}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {985-990}, timestamp = {2024-04-09T05:12:46.000+0200}, title = {Coalgebra and Logic: A Brief Overview.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom20.html#KurzPV10}, volume = 20, year = 2010 }