Browsing by Advisor Martins, Manuel António Gonçalves
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
2015 | Differential dynamic logic and applications | Figueiredo, Daniel Oliveira | masterThesis | ![]() |
2012 | Dualidades na lógica modal | Nora, Pedro Miguel Teixeira Olhero Pessoa | masterThesis | ![]() |
4-Feb-2019 | Hybrid logics with paraconsistency | Costa, Diana Filipa de Pinho | doctoralThesis | ![]() |
Feb-2020 | Logical foundations and computational tools for synthetic biology | Figueiredo, Daniel Oliveira | doctoralThesis | ![]() |
2012 | A matemática de alguns jogos | Casanova, Luísa Amélia Fernandes de Faria | masterThesis | ![]() |
2009 | Máquinas algébricas | Ribau, Ângela Margarida Vergas | masterThesis | ![]() |
2014 | Paraconsistency in hybrid logic | Costa, Diana Filipa de Pinho | masterThesis | ![]() |
2016 | Probabilistic propositional logic | Barbosa, Fábio Daniel Moreira | masterThesis | ![]() |