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