Leandro Rafael Moreira Gomes


AuthID: R-00H-1FJ

Publications Awaiting Confirmation

1
TITLE: Weighted computations: semantics and program logics
AUTHORS: Leandro Gomes;
PUBLISHED: 2022
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTHORS: Leandro Gomes;
PUBLISHED: 2019, SOURCE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: On the construction of multi-valued concurrent dynamic logic PDF
AUTHORS: Leandro Gomes;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.00462
INDEXED IN: DBLP arXiv
IN MY: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service