Célia Borlido

University of Porto

.

Projects

Add project

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