A CLASS OF RECURSIVELY-ENUMERABLE SETS

被引:3
作者
MOROZOV, AS
机构
关键词
D O I
10.1007/BF00970874
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:278 / 282
页数:5
相关论文
共 4 条
[1]   2 NOTES ON RECURSIVELY ENUMERABLE SETS [J].
DEKKER, JCE .
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 4 (03) :495-501
[2]  
Maltsev A., 1972, ALGORITHMS RECURSIVE
[3]  
Rogers Jr. H., 1967, MCGRAW HILL SERIES H
[4]  
Yates C. E. M., 1962, Z MATH LOGIK GRUNDLA, V8, P331