Buscas alternativas:
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking program » check program (Expandir a busca), tracking programs (Expandir a busca), screening program (Expandir a busca)
program solution » program evoluation (Expandir a busca), programs evolution (Expandir a busca), problem solution (Expandir a busca)
algorithm point » algorithm on (Expandir a busca), algorithm using (Expandir a busca), algorithms using (Expandir a busca)
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking program » check program (Expandir a busca), tracking programs (Expandir a busca), screening program (Expandir a busca)
program solution » program evoluation (Expandir a busca), programs evolution (Expandir a busca), problem solution (Expandir a busca)
algorithm point » algorithm on (Expandir a busca), algorithm using (Expandir a busca), algorithms using (Expandir a busca)
1
Assuntos:
“...Fixed point equations...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese