Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
Publication
A Tutorial on (Co)Algebras and (Co)Induction
A Tutorial on (Co)Algebras and (Co)Induction
Bart Jacobs, Jan Rutten
Bulletin of the European Association for Theoretical Computer Science
62, pages 222-259
1997