Title of article
Distributive laws for the coinductive solution of recursive equations
Author/Authors
Bart Jacobs، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
27
From page
561
To page
587
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262340
Link To Document