Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Mar-2020 | Introducing synchrony in fuzzy automata | Gomes, Leandro Rafael Moreira; Madeira, Alexandre; Barbosa, L. S. | 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 |
2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro Rafael Moreira; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Artigo | Acesso aberto |
8-Abr-2022 | Weighted computations: semantics and program logics | Gomes, Leandro Rafael Moreira | Tese de doutoramento | Acesso aberto |