On the relationship between computed functions and fixpoints of nondeterministic recursive definitions. (English) Zbl 0486.68014
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
68N01 | General topics in the theory of software |
03D60 | Computability and recursion theory on ordinals, admissible sets, etc. |