Buscas alternativas:
"Alpha-equivalence" » "Alpha-equivalente" (Expandir a busca), "Alpha-equivalentes" (Expandir a busca), "Alpha-equivalencia" (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Alpha-equivalence"', tempo de busca: 0,12s

1

Assuntos: “...Alpha-equivalência...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese