Fast and simple nested fixpoints.

Библиографические подробности
Опубликовано в::	Information processing letters. 59, 6 (1996).
Главный автор:	Seidl, Helmut
Формат:	Статья
Язык:	English
Предметы:	Evaluation of fixpoint expressions. Hierarchical systems of equation. Model-checking.