Leandro Gomes | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Alexandre Madeira
4 publications
Luís Soares Barbosa
3 publications

research

∙ 11/04/2019

Generalising KAT to verify weighted computations

Kleene algebra with tests (KAT) was introduced as an algebraic structure...

0 Leandro Gomes, et al. ∙

research

∙ 11/01/2019

On the construction of multi-valued concurrent dynamic logic

Dynamic logic is a powerful framework for reasoning about imperative pro...

0 Leandro Gomes, et al. ∙