Percorrer por assunto Transition systems
Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2008 | An exercise on transition systems | Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling | Artigo | Acesso aberto |
4-Dez-2021 | Exploring paraconsistent logics for quantum programs | Cruz, Ana Luzia | Dissertação de mestrado | Acesso aberto |
23-Mar-2023 | Paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2009 | A single complete relational rule for coalgebraic refinement | Rodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S. | Artigo | Acesso aberto |