Browsing by CNPq CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type |
|---|---|---|---|
| 2019 | Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity | de Carvalho-Segundo, Washington L. R. | Tese |