1. Universidade Federal do Rio Grande do Norte

Página de Busca


Filtros correntes:

Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 1-2 de 2.
  • Anterior
  • 1
  • Póximo
Conjunto de itens:
Data do documentoTítuloAutor(es)
4-Mai-2017A uniform framework for substructural logics with modalitiesVega, Carlos Alberto Olarte; Lellmann, Björn; Pimentel, Elaine Gouvea
2017Hybrid and subexponential linear logicsDespeyroux, Joelle; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte

Busca facetada