Fast and simple nested fixpoints.

Fast and simple nested fixpoints.

Detalhes bibliográficos
Publicado no:Information processing letters. 59, 6 (1996).
Autor principal: Seidl, Helmut
Formato: Artigo
Idioma:English
Assuntos:
Evaluation of fixpoint expressions.
Hierarchical systems of equation.
Model-checking.