Mostrando 1 - 1 resultados de 1 para a busca 'using math programming computing algorithm in semantic function in computational', tempo de busca: 0,45s

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