Buscas alternativas:
programming computing » programming computer (Expandir a busca), programming computers (Expandir a busca), processing computing (Expandir a busca)
computing algorithm » routing algorithm (Expandir a busca), computer algorithm (Expandir a busca), computer algorithms (Expandir a busca)
semantic function » semantic functions (Expandir a busca), hepatic function (Expandir a busca), semantico funcional (Expandir a busca)
math programming » fetal programming (Expandir a busca)
in computational » and computational (Expandir a busca), _ computational (Expandir a busca), of computational (Expandir a busca)
algorithm in » algorithms in (Expandir a busca), algorithm ii (Expandir a busca), algorithm on (Expandir a busca)
in semantic » on semantic (Expandir a busca), and semantic (Expandir a busca), non semantic (Expandir a busca)
function in » function and (Expandir a busca), function of (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using many (Expandir a busca)
programming computing » programming computer (Expandir a busca), programming computers (Expandir a busca), processing computing (Expandir a busca)
computing algorithm » routing algorithm (Expandir a busca), computer algorithm (Expandir a busca), computer algorithms (Expandir a busca)
semantic function » semantic functions (Expandir a busca), hepatic function (Expandir a busca), semantico funcional (Expandir a busca)
math programming » fetal programming (Expandir a busca)
in computational » and computational (Expandir a busca), _ computational (Expandir a busca), of computational (Expandir a busca)
algorithm in » algorithms in (Expandir a busca), algorithm ii (Expandir a busca), algorithm on (Expandir a busca)
in semantic » on semantic (Expandir a busca), and semantic (Expandir a busca), non semantic (Expandir a busca)
function in » function and (Expandir a busca), function of (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using many (Expandir a busca)
1
“... performed using also an improved algorithm. Upper bounds for solving nominal equality-checking problems are...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese