Mostrando
1 - 14
resultados de
14
para a busca '
Vega, Carlos Alberto Olarte
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Vega, Carlos Alberto Olarte
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 14
resultados de
14
para a busca '
Vega, Carlos Alberto Olarte
'
, tempo de busca: 0,06s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
A proof theoretic view of spatial and temporal dependencies in biochemical systems
por
Vega
,
Carlos
Alberto
Olarte
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Artigo
2
A uniform framework for substructural logics with modalities
por
Vega
,
Carlos
Alberto
Olarte
Publicado em 2017
Acessar documento (1)
Acessar documento (2)
Artigo
3
Proving concurrent constraint programming correct, revisited
por
Vega
,
Carlos
Alberto
Olarte
Publicado em 2015
Acessar documento
Artigo
4
On concurrent behaviors and focusing in linear logic
por
Vega
,
Carlos
Alberto
Olarte
Publicado em 2017
Acessar documento
Artigo
5
Hybrid and subexponential linear logics
por
Despeyroux, Joelle
Publicado em 2017
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
6
Subexponential concurrent constraint programming
por
Pimentel, Elaine Gouvea
Publicado em 2015
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
7
A proof theoretic study of soft concurrent constraint programming
por
Pimentel, Elaine Gouvea
Publicado em 2014
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
8
Dynamic spaces in concurrent constraint programming
por
Nigam, Vivek
Publicado em 2014
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
9
A Symbolic model for timed concurrent constraint programming
por
Arias, Jaime
Publicado em 2015
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
10
Abstract interpretation of temporal concurrent constraint programs
por
Falaschi, Moreno
Publicado em 2014
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
11
Verification of spatial and temporal modalities in biochemical systems
por
Falaschi, Moreno
Publicado em 2015
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
12
Modelling non-Markovian dynamics in biochemical reactions
por
Chiarugi, Davide
Publicado em 2015
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
13
Mechanizing focused linear logic in coq
por
Xavier, Bruno
Publicado em 2018
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
14
From cut-free calculi to automated deduction: the case of bounded contraction
por
Ciabattoni, Agata
Publicado em 2017
Outros Autores:
“
...
Vega
,
Carlos
Alberto
Olarte
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...