Redirected from Wpc/decidable problem
Definition: A decision problem such that there exists an algorithm to solve it.
Generalizations:
Specializations: time complexity
Involved in:
related field(s)- theory of computation
potential real-world examples-
... ...