Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |
2017 | On kleene algebras for weighted computation | Gomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |