Buscas alternativas:
syntactic programming » dynamic programming (Expandir a busca), syntactic program (Expandir a busca), stochastic programming (Expandir a busca)
complexity syntactic » complexity genetic (Expandir a busca)
problems complexity » problem complexity (Expandir a busca), problems complex (Expandir a busca), process complexity (Expandir a busca)
syntactic programming » dynamic programming (Expandir a busca), syntactic program (Expandir a busca), stochastic programming (Expandir a busca)
complexity syntactic » complexity genetic (Expandir a busca)
problems complexity » problem complexity (Expandir a busca), problems complex (Expandir a busca), process complexity (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