Class: '$m$-reducibility '
http://cll.niimm.ksu.ru/ontologies/mathematics#E2404
Annotations (3)
-
comment "Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972, стр. 110" (string)
-
label "$m$-reducibility " (en)
-
label "$m$-сводимость" (ru)
Superclasses (1)
Usage (1)
-
Class: '$m$-reducibility '