Portal eduCapes: Buscando no repositório

Navegando por Autor Araújo, João

Mostrando resultados 4 a 9 de 9 « Anterior

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 4 a 9 de 9 « Anterior