Buscas alternativas:
"First-order unification" » "First-of unification" (Expandir a busca), "First-taxes unification" (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"First-order unification"', tempo de busca: 0,09s

1

Assuntos: “...First-order unification...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese