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

Cached

Download Links

by Bart Jacobs , Jan Rutten
Venue:EATCS Bulletin
Citations:228 - 34 self