Mostrando 1 - 1 resultados de 1 para a busca 'problems complexity syntactic program', tempo de busca: 0,17s

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