1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese