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