A Tutorial on (Co)Algebras and (Co)Induction (1997)

Cached

Download Links

by Bart Jacobs , Jan Rutten
Venue:EATCS Bulletin
Citations:269 - 36 self