corecursively enumerable

Adjective

alt-of alternative not-comparable

Alternative form of co-recursively enumerable

Japanese Meaning

「co‐recursively enumerable」（すなわち、その補集合が再帰的に列挙可能である集合）の別表記、同じ意味を示す用語

The research paper lists several corecursively enumerable languages that resist conventional decision procedures.

その研究論文は、従来の決定手続きでは決定できないいくつかの補再帰的に列挙可能な言語を挙げている。

Sense（1）

Alternative form of co-recursively enumerable