Fast and simple nested fixpoints.

Bibliographic Details
Published in:	Information processing letters. 59, 6 (1996).
Main Author:	Seidl, Helmut
Format:	Article
Language:	English
Subjects:	Evaluation of fixpoint expressions. Hierarchical systems of equation. Model-checking.