Fast and simple nested fixpoints.

Detalles Bibliográficos
Publicado en:	Information processing letters. 59, 6 (1996).
Autor principal:	Seidl, Helmut
Formato:	Artículo
Lenguaje:	English
Materias:	Evaluation of fixpoint expressions. Hierarchical systems of equation. Model-checking.