×
Chen, Tsong Yueh

On the relationship between computed functions and fixpoints of nondeterministic recursive definitions. (English) Zbl 0486.68014

Inf. Control 50, 13-22 (1981).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0486.68014

Cited in 1 Document

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.

Keywords:

fixpoints; computed functions; nondeterministic recursive definitions
Cite Review PDF
Full Text: DOI