Title of article

Fixed-point calculus

Author/Authors

Mathematics of Program Construction Group، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1995

Pages

6

From page

131

To page

136

Keywords

Program derivation , Programming calculi , Theory of computation

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128194