Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2023 | Capturing Qubit decoherence through paraconsistent transition systems | Barbosa, L. S.; Madeira, Alexandre | Artigo em ata de conferência | Acesso aberto |
23-Mar-2023 | Paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2023 | Structured specification of paraconsistent transition systems | Cunha, Juliana; Madeira, Alexandre; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |