Maria Joao Gouveia | DeepAI

DeepAI

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

Featured Co-authors

Silvio Ghilardi
15 publications
Luigi Santocanale
13 publications

research

∙ 12/05/2018

The continuous weak order

The set of permutations on a finite set can be given the lattice structu...

0 Luigi Santocanale, et al. ∙

research

∙ 07/18/2018

Mix -autonomous quantales and the continuous weak order

The set of permutations on a finite set can be given a lattice structure...

0 Maria Joao Gouveia, et al. ∙

research

∙ 03/05/2018

Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)

It is a consequence of existing literature that least and greatest fixed...

0 Silvio Ghilardi, et al. ∙