Buscas alternativas:
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
rule algorithm » euler algorithm (Expandir a busca), hull algorithm (Expandir a busca), rete algorithm (Expandir a busca)
variable rule » variable rate (Expandir a busca), variable rates (Expandir a busca), variable angle (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
rule algorithm » euler algorithm (Expandir a busca), hull algorithm (Expandir a busca), rete algorithm (Expandir a busca)
variable rule » variable rate (Expandir a busca), variable rates (Expandir a busca), variable angle (Expandir a busca)
1
Assuntos:
“...First-order unification...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese