论文信息 - Autostability and computable families of constructivizations - 字舞流文

Autostability and computable families of constructivizations

S. S. Goncharov | S. Goncharov

[1] A. T. Nurtazin,et al. Strong and weak constructivization and computable families , 1974 .

[2] A. I. Mal'tsev. CONSTRUCTIVE ALGEBRAS I , 1961 .