Data | Título | Autor(es) | Tipo | Acesso |
18-Dez-2013 | Uma abordagem alternativa para a formalização de espaços multidimensionais em sistemas OLAP | Novais, Cláudio Campinho | Dissertação de mestrado | Acesso aberto |
2014 | A máquina abstracta categorial | Pinho, Xavier Gomes | Dissertação de mestrado | Acesso aberto |
4-Jan-2024 | Partial classical propositional logic | Martins, Hugo Morais | Dissertação de mestrado | Acesso aberto |
2019 | Problemas de decisão em teoria de linguagens regulares | Hungulu, Gerson Benjamim | Dissertação de mestrado | Acesso aberto |
1-Fev-2023 | Scalable detection of security-vulnerabilities in source code | Queiroz, Artur Jorge Gomes | Dissertação de mestrado | Acesso aberto |
2018 | Semântica categorial para a lógica linear | Fitas, Carlos Miguel Alves | Dissertação de mestrado | Acesso aberto |
25-Jan-2022 | Sistemas dedutivos para Lógica Quântica Minimal | Sousa, Ana Catarina Lopes Carvalho | Dissertação de mestrado | Acesso aberto |
2009 | O teorema da normalização para lógica de primeira ordem | Correia, Jorge Manuel Martins | Dissertação de mestrado | Acesso aberto |
11-Jan-2023 | Variações sobre o cálculo-lambda call-by-value | Mendes, Filipa Simões | Dissertação de mestrado | Acesso aberto |
2018 | Web-based analysis of Reo connectors | Cruz, Rúben André Marques da | Dissertação de mestrado | Acesso aberto |