Assunto
Alpha-equivalence
1
Alpha-equivalência
1
Chave
1
Equações de ponto fixo
1
First-order unification
1
Fixed point equations
1
Lógica nominal
1
Nominal logic
1
Nominal unification
1
Palavra
1
Unification modulo equational theories
1
Unificação de primeira-ordem
1
Unificação módulo teorias equacionais
1
Unificação nominal
1