Leandro Rafael Moreira Gomes


AuthID: R-00H-1FJ

Publicações a aguardar confirmação

1
TÍTULO: Weighted computations: semantics and program logics
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2022
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2019, FONTE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: On the construction of multi-valued concurrent dynamic logic PDF
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.00462
INDEXADO EM: DBLP arXiv
NO MEU: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service