Cholak P.,Downey R. G. ...


Cholak P., Downey R. G.
[1993]
Undecidability and definability for parametrized polynomial time m-reducibilities
Progr. Comput. Sci. Appl. Logic, 12, 194-221
?
article

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