The Structure of the Lattice of Recursive Sets
โ Scribed by Bernhard G. Goetze
- Publisher
- John Wiley and Sons
- Year
- 1976
- Tongue
- English
- Weight
- 281 KB
- Volume
- 22
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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 (
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
TOPOLOGICAL SIZE OF SETS O F PARTIAL RECURSIVE FUNCTIONS by CRISTIAN CALUDE in Bucharest (Romania) l) 1) I wish to thank Prof. G. WECHSUNG for helpful comments on this work.
We consider the problem of finding two sets of given cardinalities in certain grid graphs, so as to minimize the cross-distance between them. (This is the maximum Manhattan distance between points, one of the first set and another of the second set.) The question is answered completely for grids tha