Title of article

Fast and simple nested fixpoints

Author/Authors

Helmut Seidl، نويسنده ,

Issue Information

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

Pages

6

From page

303

To page

308

Keywords

Model·checking , Evaluation of fixpoint expressions , Hierarchical systems of equations

Journal title

Information Processing Letters

Serial Year

1996

Journal title

Information Processing Letters

Record number

128552