Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Semantica de Linguagens de Programacao
utilizada 17 vezes por 2 professores
Utilizada por 2 professores
Por ordem de relevância (total: 2)
Mauricio Ayala Rincon
Jorge Henrique Cabral Fernandes
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Semantica de Linguagens de Programacao"
Lambda Calculus
Lógica da Computação
Semantica de Linguagens de Programacao
Substituicao Explicita
Substituições Explícitas
Teoria de Reescrita
Teoria de tipos
sistemas de reescrita
unificação de ordem superior
CTIT UFMG