Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Formal Methods
utilizada 4 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Daniele Nantes Sobrinho
Andréia Borges Avelar
Flávio Leonardo Cavalcanti de Moura
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Formal Methods"
C-unification
Commutative theory
Formal Methods
Nominal matching
Nominal unification
PVS
Unification modulo Commutativity
first-order unification
CTIT UFMG