EXPTIME

Set

definiendum $ \mathrm{\bf{EXPTIME}} = \bigcup_{k\in\mathbb{N}} \mathrm{\bf{DTIME}}\left((2^n)^k\right) $

Discussion

Parents

Requirements

DTIME

Subset of

Bit string

Link to graph
Log In
Improvements of the human condition
limeGraphxioms