journal : Bulletin of the European Association for Theoretical Computer Science
1 article
A Tutorial on (Co)Algebras and (Co)Induction (article in journal, 1997) — Bart Jacobs, Jan Rutten A Tutorial on (Co)Algebras and (Co)Induction (article in journal, 1997) — Bart Jacobs, Jan Rutten