António José Mesquita da Cunha Machado Malheiro

Semigroup Theory; Computational Algebra; Rewriting Systems.