Menzel W., Sperschneider V. ...


Menzel W., Sperschneider V.
[1984]
Recursively enumerable extensions of R1 by finite functions.
Lect. Notes in Comp. Sci., 171, 62-76, Springer -Verlag
85.02.59
article

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