The project "Automata, Semigroups and Applications" aims to contribute to the development of the the

Pretende-se obter novos resultados para fragmentos da lógica de predicados de primeira ordem, cujos