jaru97

B. Jacobs, J. Rutten. A tutorial on (co) algebras and (co) induction. EATCS Bulletin, 62(222):3-7, 1997.

Keyword

[ Algexp ]

Contact

B. Jacobs
J.J.M.M. Rutten

BibTex Reference

@article{jaru97,
   Author = {Jacobs, B. and Rutten, J.},
   Title = {A tutorial on (co) algebras and (co) induction},
   Journal = {EATCS Bulletin},
   Volume = {62},
   Number = {222},
   Pages = {3--7},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)