Leandro Gomes | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙