Greati, Vitor Rodrigues
15  results:
Search for persons X
?
 
?
6

Hilbert-style formalism for two-dimensional notions of cons..:

Greati, Vitor Rodrigues
GREATI, Vitor Rodrigues. Hilbert-style formalism for two-dimensional notions of consequence. 2022. 142f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2022..  , 2022
 
?
 
?
12

Finite Two-Dimensional Proof Systems for Non-finitely Axiom..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Greati, Vitor ; Marcos, João - p. 640-658 , 2022
 
?
13

Proof Search on Bilateralist Judgments over Non-determinist..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
 
?
14

Synthetic image generation for training deep learning-based..:

Silvano, Gilles ; Ribeiro, Vinícius ; Greati, Vitor...
Design Automation for Embedded Systems.  25 (2020)  2 - p. 113-133 , 2020
 
?
15

Brazilian Mercosur License Plate Detection: a Deep Learning..:

, In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC),
 
1-15