Navegando por CNPq CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO
Mostrando resultados 1 a 1 de 1
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2019 | Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity | de Carvalho-Segundo, Washington L. R. | Tese |