2025
Autores
Madeira, A; Oliveira, JN; Proença, J; Neves, R;
Publicação
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Abstract
[No abstract available]
2025
Autores
Neves, R; Proença, J; Souza, J;
Publicação
CoRR
Abstract
2024
Autores
Neves, R;
Publicação
CoRR
Abstract
2023
Autores
Dahlqvist, F; Neves, R;
Publicação
CoRR
Abstract
2023
Autores
Dahlqvist, F; Neves, R;
Publicação
Log. Methods Comput. Sci.
Abstract
Teses supervisionadas
2023
Autor
Tomás Barros Carneiro
Instituição
UM
2022
Autor
Juliana Patrício de Souza
Instituição
UM
Autor
Rui Carlos Azevedo Carvalho
Instituição
UM
Autor
Ricardo da Silva Correia
Instituição
UM
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.
