مرکز منطقه ای اطلاع رساني علوم و فناوري - Distributive laws for the coinductive solution of recursive equations

Title of article :

Distributive laws for the coinductive solution of recursive equations

Author/Authors :

Bart Jacobs، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

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 :