Blum axioms

E117701 UNEXPLORED

Blum axioms are a set of formal conditions introduced by Manuel Blum that rigorously define what constitutes a valid complexity measure in computational complexity theory.

Jump to: Referenced by

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Manuel Blum notableWork Blum axioms