Fast and simple nested fixpoints.

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Information processing letters. 59, 6 (1996).
المؤلف الرئيسي:	Seidl, Helmut
التنسيق:	مقال
اللغة:	English
الموضوعات:	Evaluation of fixpoint expressions. Hierarchical systems of equation. Model-checking.