1. Universidade Federal do Rio Grande do Norte

Navegando por Autor Xavier, Bruno Francisco

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 2 de 2
Data do documentoTítuloAutor(es)
15-Fev-2017Formalização da lógica linear em CoqXavier, Bruno Francisco
19-Mai-2023Linear logic as a logical frameworkXavier, Bruno Francisco
Mostrando resultados 1 a 2 de 2