Percorrer por assunto Paraconsistency
Mostrar 1-5 de um total de 5 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 |
4-Dez-2021 | Exploring paraconsistent logics for quantum programs | Cruz, Ana Luzia | Dissertação de mestrado | Acesso aberto |
2022 | A logic for paraconsistent transition systems | Ana Cruz; Alexandre Madeira; Barbosa, L. S. | 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 |