𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions

✍ Scribed by Tsong Yueh Chen

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
305 KB
Volume
52
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

✦ Synopsis

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 equality relationships between various fixpoints and their corresponding prefixpoints. Also observed are some nonequality relationships between various fixpoints and their corresponding postfixpoints.

πŸ“œ SIMILAR VOLUMES

On the Recursivity of Finite Sets
On the Recursivity of Finite Sets
✍ Ronald Harrop πŸ“‚ Article πŸ“… 1961 πŸ› John Wiley and Sons 🌐 English βš– 346 KB πŸ‘ 1 views

ON THE mcuitsrvm-OF FINITE SISTS by ROSALD ITARRW in Newcastle upon Tync (England) $j 1 lritrodiiclion In this paprr n n nsgcct, is discussed of tlic relationship between rccursivity aiid intuitive dccitlalilit~~ hi the case of fiiiitc sets, which, altliougli rcfcrred to elsewhere in the literatuw (