Fast and simple nested fixpoints.

Dettagli Bibliografici
Pubblicato in:	Information processing letters. 59, 6 (1996).
Autore principale:	Seidl, Helmut
Natura:	Articolo
Lingua:	English
Soggetti:	Evaluation of fixpoint expressions. Hierarchical systems of equation. Model-checking.