Mostrando 1 - 1 resultados de 1 para a busca 'checking problem resolution algorithm using method*', tempo de busca: 0,27s

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