skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Resultados de 1 a 10 de 16  para Produção Intelectual da USP

Resultados 1 2 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

We are happy to organize this issue of the Electronic Notes in Theoretical Computer Science. [Prefácio]

Gabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastián Urrutia; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)

Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p.1-2, 2019

Amsterdam 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-3000163 )(Acessar)

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

A study on the potential active names of π-agents

Ana Cristina Vieira de Melo Brazilian Workshop on Formal Methods - WMF (2003 Campina Grande)

Electronic Notes in Theoretical Computer Science Amsterdam v. 95, p. 269-286, 2004

Amsterdam 2004

Localização: IME - Inst. Matemática e Estatística    (PROD-1482363 ) e outros locais(Acessar)

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

From active names to π-calculus rewriting rules

Ana Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)

Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005

Amsterdam 2005

Localização: IME - Inst. Matemática e Estatística    (PROD-1477195 ) e outros locais(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

The universe of approximations

Marcelo Finger Renata Wassermann; Workshop on Logic, Language, Information and Computation - WoLLIC (10. 2003 Ouro Preto)

Electronic Notes in Theoretical Computer Science Amsterdam v. 84, p. 91-104, 2003

Amsterdam 2003

Localização: IME - Inst. Matemática e Estatística    (PROD-1367695 ) e outros locais(Acessar)

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

A framework to generate synthetic multi-label datasets

Jimena Torres Tomás Newton Spolaôr; Everton Alvares Cherman; Maria Carolina Monard; Latin American Computing Conference - CLEI (39. 2013 Naiguatá, Venezuela)

Electronic Notes in Theoretical Computer Science Amsterdam : Elsevier v. 302, p. 155-176, fev. 2014

Amsterdam Elsevier 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2449893 )(Acessar)

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

On Tuza's conjecture for triangulations and graphs with small treewidth

Fábio Happ Botler Cristina Gomes Fernandes 1966-; Juan Gutierrez; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)

Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p. 171-183, 2019

Amsterdam Elsevier 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-3000179 )(Acessar)

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Algebras, graphs and thetas

Marcel Kenji de Carli Silva Gabriel Coutinho; Chris Godsil; David E Roberson; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)

Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p.275-283, 2019

Amsterdam Elsevier 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-3000176 )(Acessar)

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

On edge-magic labelings of forests

Márcia R Cerioli Cristina Gomes Fernandes 1966-; Orlando Lee; Carla Negri Lintzmayer; Guilherme Oliveira Mota; Cândida Nunes da Silva; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)

Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p. 299-307, 2019

Amsterdam Elsevier 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-3000181 )(Acessar)

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]

Maribel Fernández Marcelo Finger

Electronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014

Amsterdam 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-3003482 )(Acessar)

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Using abduction to compute efficient proofs

Marcelo Finger Workshop on Logical and Semantic Frameworks, with Applications - LSFA (3. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 247, p. 39-49, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3009321 )(Acessar)

Resultados de 1 a 10 de 16  para Produção Intelectual da USP

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Buscando em bases de dados remotas. Favor aguardar.