%0 Journal Article %1 journals/acta/BonchiPPR17 %A Bonchi, Filippo %A Petrisan, Daniela %A Pous, Damien %A Rot, Jurriaan %D 2017 %J Acta Inf. %K %N 2 %P 127-190 %T A general account of coinduction up-to. %U http://dblp.uni-trier.de/db/journals/acta/acta54.html#BonchiPPR17 %V 54

@article{journals/acta/BonchiPPR17, added-at = {2023-12-12T22:20:34.000+0100}, author = {Bonchi, Filippo and Petrisan, Daniela and Pous, Damien and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/22d5ac5516e23023b3307fa4a64c8e4a7/admin}, ee = {https://doi.org/10.1007/s00236-016-0271-4}, interhash = {495b5a4bfa825c45aeb92cda67b139b9}, intrahash = {2d5ac5516e23023b3307fa4a64c8e4a7}, journal = {Acta Inf.}, keywords = {}, number = 2, pages = {127-190}, timestamp = {2023-12-12T22:20:34.000+0100}, title = {A general account of coinduction up-to.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta54.html#BonchiPPR17}, volume = 54, year = 2017 }