Tarski-Kuratowski algorithm en · PROPN
Etymology
Named after Alfred Tarski and Kazimierz Kuratowski.
Meanings
- A nondeterministic algorithm that produces an upper bound for the complexity of a given formula in the arithmetical hierarchy and analytical hierarchy.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Tarski-Kuratowski algorithm | canonical | lexicographic |