Fast and simple nested fixpoints.

Fast and simple nested fixpoints.

Manylion Llyfryddiaeth
Cyhoeddwyd yn:Information processing letters. 59, 6 (1996).
Prif Awdur: Seidl, Helmut
Fformat: Erthygl
Iaith:English
Pynciau:
Evaluation of fixpoint expressions.
Hierarchical systems of equation.
Model-checking.