Mostrando 1 - 1 resultados de 1 para a busca 'checking problem solution algorithm using methods~', tempo de busca: 0,70s

1

... aperfeiçoado. Limites superiores para o tempo de execução na solução de problemas nominais de verificação...

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Tese