carlos alberto olarte vega

ECT - ESCOLA DE CIÊNCIAS E TECNOLOGIA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
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
Provador semiautomático para lógica linear Lógicas e Semântica de Programas
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
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

SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa12-producao.info.ufrn.br.sigaa12-producao v3.45.5