Buscas alternativas:
computer algorithm » computer algorithms (Expandir a busca), cumputer algorithms (Expandir a busca), computing algorithm (Expandir a busca)
variable computer » portable computer (Expandir a busca), portable computers (Expandir a busca), portable computuer (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
computer algorithm » computer algorithms (Expandir a busca), cumputer algorithms (Expandir a busca), computing algorithm (Expandir a busca)
variable computer » portable computer (Expandir a busca), portable computers (Expandir a busca), portable computuer (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