Buscas alternativas:
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
graph functional » brain functional (Expandir a busca), edaphic functional (Expandir a busca), guandu functional (Expandir a busca)
functions graph » function graph (Expandir a busca), functional graphs (Expandir a busca), functional grups (Expandir a busca)
programming on » programming of (Expandir a busca), programming in (Expandir a busca), programming and (Expandir a busca)
base functions » base function (Expandir a busca), basis functions (Expandir a busca), hash functions (Expandir a busca)
on algorithm » an algorithm (Expandir a busca), and algorithm (Expandir a busca), ant algorithm (Expandir a busca)
algorithm ga » algorithms gas (Expandir a busca), algorithm ma4 (Expandir a busca), algorithm _ (Expandir a busca)
ga base » la base (Expandir a busca), liga base (Expandir a busca), via base (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
graph functional » brain functional (Expandir a busca), edaphic functional (Expandir a busca), guandu functional (Expandir a busca)
functions graph » function graph (Expandir a busca), functional graphs (Expandir a busca), functional grups (Expandir a busca)
programming on » programming of (Expandir a busca), programming in (Expandir a busca), programming and (Expandir a busca)
base functions » base function (Expandir a busca), basis functions (Expandir a busca), hash functions (Expandir a busca)
on algorithm » an algorithm (Expandir a busca), and algorithm (Expandir a busca), ant algorithm (Expandir a busca)
algorithm ga » algorithms gas (Expandir a busca), algorithm ma4 (Expandir a busca), algorithm _ (Expandir a busca)
ga base » la base (Expandir a busca), liga base (Expandir a busca), via base (Expandir a busca)
1
“... equacional são fornecidos. Um algoritmo de unificação módulo C baseado em regras de redução é especificado...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese