Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Lógica e semântica da computação
utilizada 21 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 "Lógica e semântica da computação"
Cálculo Lambda
Lambda Calculus
Lógica da Computação
Lógica e semântica da computação
Métodos Formais
PVS
Simulação e Verificação de Hardware
Sistemas de Reescrita de Termos
Substituições Explícitas
Teoria de Prova
Teoria de Reescrita
Teoria de Reescrita de Termos
Teoria de tipos
Tipos com interseção
unificação de ordem superior
CTIT UFMG