A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION
- 1 January 1964
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 10 (8) , 105-114
- https://doi.org/10.1002/malq.19640100802
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplicationThe Journal of Symbolic Logic, 1958
- Some theorems on classes of recursively enumerable setsTransactions of the American Mathematical Society, 1958