Ambos-Spies K.Ding Decheng,Fejer P.A. ...


Ambos-Spies K. Ding Decheng, Fejer P.A.
[1993]
Embedding distribute lattice preserving 1 below a nonzero recursively enumerable Turing degree
Progr. Comp. Sci. Appl. Logic, 12, 92-129
?
article

Вернуться к поиску