๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the relationship between computed functions and fixpoints of nondeterministic recursive definitions

โœ Scribed by Tsong Yueh Chen

Book ID
114037542
Publisher
Elsevier Science
Year
1981
Weight
317 KB
Volume
50
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the Structural Properties of the Set
On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions
โœ Tsong Yueh Chen ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 305 KB

In this paper, we investigate the structural properties of the set of fixpoints for the class of nondeterministic recursive definitions. Our study reveals close resemblance between the structural properties of the set of fixpoints and those of the set of prefixpoints, and it establishes some equalit