Contribuições do(a) usuário(a) 189.70.180.117
De 189.70.180.117 discussão registo de bloqueios registos registo do filtro de edições
28 de abril de 2013
- 15h45min15h45min de 28 de abril de 2013 dif his +22 Certificado de primalidade
- 15h39min15h39min de 28 de abril de 2013 dif his −1 Circuito booliano
- 15h37min15h37min de 28 de abril de 2013 dif his +5 Autômato celular de Codd
- 15h24min15h24min de 28 de abril de 2013 dif his +1 Conjunto simples →Relação com o problema de Post
- 15h22min15h22min de 28 de abril de 2013 dif his +6 Computação real
- 15h16min15h16min de 28 de abril de 2013 dif his +1 Vaughan Pratt
- 15h07min15h07min de 28 de abril de 2013 dif his −1 Richard Karp →Prêmio Turing
- 13h50min13h50min de 28 de abril de 2013 dif his −19 Indistinguibilidade de textos cifrados →Equivalência e implicações
- 13h48min13h48min de 28 de abril de 2013 dif his −41 Indistinguibilidade de textos cifrados
- 13h35min13h35min de 28 de abril de 2013 dif his −390 Indistinguibilidade de textos cifrados
- 13h32min13h32min de 28 de abril de 2013 dif his +304 Indistinguibilidade de textos cifrados
- 13h18min13h18min de 28 de abril de 2013 dif his +281 Indistinguibilidade de textos cifrados
- 13h10min13h10min de 28 de abril de 2013 dif his −250 Indistinguibilidade de textos cifrados
- 12h27min12h27min de 28 de abril de 2013 dif his +7 Programação de conjunto de resposta
- 12h23min12h23min de 28 de abril de 2013 dif his +21 Teoria dos tipos intuicionista
- 12h01min12h01min de 28 de abril de 2013 dif his +28 Programação de conjunto de resposta