论文信息 - Recursion theory and algebra - 字舞流文

Recursion theory and algebra

A. Nerode | G. Metakides

[1] Emil L. Post. Recursively enumerable sets of positive integers and their decision problems , 1944 .

[2] Anil Nerode. EXTENSIONS TO ISOLS , 1961 .

[3] J. C. E. Dekker,et al. Countable Vector Spaces with Recursive Operations. Part I , 1969, J. Symb. Log..

[4] A. Lachlan. On Some Games Which Are Relevant to the Theory of Recursively Enumerable Sets , 1970 .

[5] Leo Harrington. Recursively Presentable Prime Models , 1974, J. Symb. Log..