O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Criptografia
-
Especificação Algébrica
-
Lógica Formal
-
Lógica da Computação
-
Métodos Formais
-
Protocolo Criptográfico
-
Sistema de Reescrita
-
Teoria de Prova
-
Teoria de Reescrita
Identidade
identificador BrCris
-
4c5db993ffeef99d216c91ae110bcee5
identificador Capes
identificador Oasisbr
-
UNB_2f5dea88e798e30d0c71402b3bed5bf6