NEXPTIME: historial de revisões

Saltar para a navegação Saltar para a pesquisa

Seleção de diferenças: use os botões de opção das revisões para marcar as versões que deseja comparar. Pressione 'Enter' ou clique o botão abaixo.
Legenda: (atu) = diferenças para a versão atual, (ant) = diferenças para a versão anterior, m = edição menor.

30 de junho de 2024

  • atuant 15h21min15h21min de 30 de junho de 2024 imported>Rafael-patronilo 4 293 bytes +4 293 Falava de ExpSpace em vez de ExpTime. Deixei coerente com a versão inglesa.