Percorrer por assunto Kleene algebra
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 |
2011 | Partial derivative automata formalized in Coq | Almeida, José Bacelar; Moreira, Nelma; Pereira, David, 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 |