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