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