Mostrando 1 - 1 resultados de 1 para a busca 'using math programming computing algorithm in semantic functions in computational~', tempo de busca: 1,56s

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