The top documents tagged [w8wd4uhwowhbh4dlwo u]

Bart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Induction
Documents Bart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Induction

239 views