1
Refinar a Busca
Alpha-equivalence
1
Alpha-equivalência
1
Equações de ponto fixo
1
First-order unification
1
Fixed point equations
1
Lógica nominal
1
Mais ...
Nominal logic
1
Nominal unification
1
Unification modulo equational theories
1
Unificação de primeira-ordem
1
Unificação módulo teorias equacionais
1
Unificação nominal
1
Ver todos ...
menos ...