Tarski-Kuratowski algorithm
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named after Alfred Tarski and Kazimierz Kuratowski.
Proper noun[edit]
the Tarski-Kuratowski algorithm
- (computing theory) A nondeterministic algorithm that produces an upper bound for the complexity of a given formula in the arithmetical hierarchy and analytical hierarchy.