You are currently offline. Some features of the site may not work correctly.
Tarski–Kuratowski algorithm
Known as: Tarski-Kuratowski algorithm
In computability theory and mathematical logic the Tarski–Kuratowski algorithm is a non-deterministic algorithm which provides an upper bound for the… Expand