Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Sistemas de Reescrita de Termos
utilizada 26 vezes por 1 professores
Utilizada por 1 professor
Por ordem de relevância (total: 1)
Mauricio Ayala Rincon
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Sistemas de Reescrita de Termos"
Deducao Automatica
Especificacao Algebrica
Lógica da Computação
Lógica e semântica da computação
Métodos Formais
PVS
Projeto de hardware
Prova de Teoremas
Reescrita de Palavras
Reescrita-Lógica
Semântica das linguagens de programação
Simulação e Verificação de Hardware
Sistemas Criptográficos
Sistemas Reconfiguráveis
Sistemas de Reescrita de Termos
Teoria de Prova
Teoria de Reescrita
Teoria de Reescrita de Termos
Teorias Aritmeticas
Teorias de ordem superior
Unificação Semântica
Unificação de Primeira Ordem
criptografia
teoria dos grupos
CTIT UFMG