Skip navigation
  • Home
  • Browse
    • Communities
      & Collections
    • Browse Items by:
    • Issue Date
    • Author
    • Title
    • Subject
    • Type
    • Rights
  • Tutorials
    • Access tutorial
    • TCC deposit tutorial
    • TCC review library tutorial
    • TCC validation teatcher tutorial
    • TCC flow
    • Flow of theses and dissertation
    • Flow of educational product
  • About RI
    • Folder RI
    • Metadata pattern
    • Information policy
    • Resolution RI 2021
    • Management committee 2023
    • Authorization Term
    • Management fee
    • SNLB: Open Access at UFRN
  • Alterar contraste
    • Amarelo
    • Azul
    • Verde
  • sem contraste
  • Português English
  • Sign on to:
    • My DSpace
    • Receive email
      updates
    • Edit Profile
Repositório Institucional da Universidade Federal do Rio Grande do Norte - UFRN
  1. Universidade Federal do Rio Grande do Norte
  2. Centro de Ciências Exatas e da Terra

DM - Departamento de Matemática : [14] Community home page

Collections in this community

CCET - DM - Artigos publicados em periódicos [11]

CCET - DM - Dissertações e Teses defendidas em outras instituições [0]

CCET - DM - Trabalhos apresentados em eventos [3]

Browse

Discover

Author
  • 8 Pimentel, Elaine Gouvea
  • 8 Vega, Carlos Alberto Olarte
  • 3 Nigam, Vivek
  • 3 Santana, Fabiana Tristão de
  • 2 Maia, Dennys Leite
  • 2 Marcone, Marcos Henrique Fernandes
  • 2 Santana, Fágner Lemos de
  • 1 Batista, Samuel Dantas
  • 1 Carvalho, Rodolfo Araújo de
  • 1 Ciabattoni, Agata
  • . next >
Subject
  • 5 Linear logic
  • 3 Concurrent Constraint Programming
  • 2 Concurrent constraint programming
  • 2 Focusing
  • 2 Linear Logic
  • 2 Logical frameworks
  • 2 Proof systems
  • 2 Subexponentials
  • 1 Approximation of Functions
  • 1 Aproximação de Funções
  • . next >
Date issued
  • 5 2017
  • 3 2015
  • 2 2014
  • 2 2019
  • 1 2012
  • 1 2018
Has File
  • 14 true
Logo UFRN   Logo BCZM Logo IBICT

Comments | Statistics | Technical Team
Universidade Federal do Rio Grande do Norte Copyright © 2019

Contato
+55 (84) 3342-2260 - R-232
repositorio@bczm.ufrn.br