%0 Journal Article %1 Jacobs1997Tutorial %A Jacobs, Bart %A Rutten, Jan %D 1997 %J Bulletin of the European Association for Theoretical Computer Science %K 03d70-inductive-definability 68q10-modes-of-computation %P 222--259 %T A Tutorial on (Co)Algebras and (Co)Induction %U http://www.cs.ru.nl/\~bart/PAPERS/JR.pdf %V 62

@article{Jacobs1997Tutorial, added-at = {2019-03-01T00:11:50.000+0100}, author = {Jacobs, Bart and Rutten, Jan}, biburl = {https://www.bibsonomy.org/bibtex/25ebd050afbaf870c8a18c6231ff8e95a/gdmcbain}, citeulike-article-id = {14469734}, citeulike-attachment-1 = {jacobs_97_tutorial.pdf; /pdf/user/gdmcbain/article/14469734/1121775/jacobs_97_tutorial.pdf; ad30e9ef1f357730da64944505d9934d689cdc75}, citeulike-linkout-0 = {http://www.cs.ru.nl/\~{}bart/PAPERS/JR.pdf}, file = {jacobs_97_tutorial.pdf}, interhash = {3d7c2bde639d47764115a07c4d3efe5b}, intrahash = {5ebd050afbaf870c8a18c6231ff8e95a}, journal = {Bulletin of the European Association for Theoretical Computer Science}, keywords = {03d70-inductive-definability 68q10-modes-of-computation}, pages = {222--259}, posted-at = {2017-11-01 01:05:55}, priority = {2}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{A Tutorial on (Co)Algebras and (Co)Induction}}, url = {http://www.cs.ru.nl/\~{}bart/PAPERS/JR.pdf}, volume = 62, year = 1997 }