Data | Título | Autor(es) | Tipo | Acesso |
27-Mai-2022 | Foundations for quantum algorithms and complexity | Tavares, Carlos Eduardo Teixeira | Tese de doutoramento | Acesso aberto |
2015 | A Logic for robotics? | Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al. | Artigo | Acesso aberto |
Out-2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al. | Artigo em ata de conferência | Acesso aberto |
8-Abr-2022 | Weighted computations: semantics and program logics | Gomes, Leandro Rafael Moreira | Tese de doutoramento | Acesso aberto |