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