Ruan V. B. Carvalho | DeepAI

DeepAI

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

Featured Co-authors

Ruy J. G. B. de Queiroz
11 publications
Anjolina G. de Oliveira
6 publications
Lais S. Andrade
1 publication

research

∙ 03/01/2018

Sequentialization for full N-Graphs via sub-N-Graphs

Since proof-nets for MLL- were introduced by Girard (1987), several stud...

0 Ruan V. B. Carvalho, et al. ∙