Portal eduCapes: Buscando no repositório

Navegando por Autor Araújo, João

Mostrando resultados 2 a 9 de 9 « Anterior

Bibliotecas de axiomáticas: conceitos e resultados para sistemas algébricos
Araújo, João; Matos, David Martins de
Ramires, João Jorge da Costa Vieira
13-Dez-2022
★★★★★ (0)
Computing congruences and endomorphisms for algebras of type (2m, 1n)
Araújo, João; Bentz, Wolfram; Sequeira, Luis
Pereira, Rui Barradas
27-Out-2022
★★★★★ (0)
Finite model enumeration
Araújo, João; Janota, Mikoláš; Ferreira, Gilda
Chow, Choiwah
12-Jul-2023
★★★★★ (0)
Forbidden substructure theorems
Araújo, João; Kinyon, Michael
Ferreira, Fernando Manuel Maia
24-Mai-2023
★★★★★ (0)
Matrix theory for independence algebras
Araújo, João; Bentz, Wolfram; Cameron, Peter; Kinyon, Michael; Konieczny, Janusz
29-Jan-2023
★★★★★ (0)
Primitive permutation groups and strongly factorizable transformation semigroups
Araújo, João; Bentz, Wolfram; Cameron, Peter
29-Jan-2023
★★★★★ (0)
Rewriting Prover9
Araújo, João; Veroff, Robert
Sousa, Carlos
26-Dez-2023
★★★★★ (0)
The existential transversal property: a generalization of homogeneity and its impact on semigroups
Araújo, João; Bentz, Wolfram; Cameron, Peter
29-Jan-2023
★★★★★ (0)

Mostrando resultados 2 a 9 de 9 « Anterior