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