Buscas alternativas:
computational algorithm » computational algorithms (Expandir a busca)
variable computational » deformable computational (Expandir a busca), variable compensation (Expandir a busca), visual computational (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
computational algorithm » computational algorithms (Expandir a busca)
variable computational » deformable computational (Expandir a busca), variable compensation (Expandir a busca), visual computational (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
1
Assuntos:
“...First-order unification...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese