elaine gouvea pimentel

- DEPARTAMENTO DE PESSOAL PENSIONISTA CIVIS

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2021
PVB18472-2021 MOSAIC Lógicas e Semântica de Programas
PVB18974-2021 POTIMÁTICAS - Meninas Potiguares na Matemática Lógica Matemática
2020
PVB17288-2020 Sistemas de provas para Teorias Geométricas (PROGEO) Lógicas e Semântica de Programas
2019
PVB16106-2019 PROof search for Substructural and modAl logics (PROSA) Lógica Matemática
PIJ16135-2019 LOGOCOSMICS: LOgica, joGOs e Cálculos de prOcessos para Sistemas ModaIs ConcorrenteS Lógicas e Semântica de Programas
PIJ16136-2019 Sistemas concorrentes: semântica, provas e modelos declarativos Lógicas e Semântica de Programas
2017
PIJ13861-2017 EPIC: EPistemic Interactive Concurrency Lógicas e Semântica de Programas
2016
PIB12828-2016 Modalidades em Concorrência: Fundamentos e aplicações em Bio-informática e Computação Orientada a Serviços (Produtividade em Pesquisa PQ 2015) Lógicas e Semântica de Programas
PVB13706-2016 Busca por provas em lógicas modais e sub-estruturais Lógica Matemática
2014
PVB11750-2014 MUSICAL - MUsic and Spatial Interaction with Constraints, Algebra and Logic: foundations and applications Lógicas e Semântica de Programas
PVB11851-2014 Provas: identidade, estrutura e representação – PIER Lógica Matemática
PVB11864-2014 GeVe - Generalizações de Verofuncionalidade Lógicas e Semântica de Programas
PIJ11898-2014 Sistemas interativos e programacão concorrente por restricões: fundamentacão e aplicacões em multimedia Matemática Simbólica
2013
PIB11232-2013 Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais Lógicas e Semântica de Programas
2012
PVB11865-2012 GeTFun Generalizing Truth-Functionality Lógicas e Semântica de Programas

SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa08-producao.info.ufrn.br.sigaa08-producao v4.14.4