skip to main content
Idioma:
Resultados 1 2 3 4 5 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
We are happy to organize this issue of the Electronic Notes in Theoretical Computer Science. [Prefácio]
We are happy to organize this issue of the Electronic Notes in Theoretical Computer Science. [Prefácio]
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
Electronic Notes in Theoretical Computer Science
Material Type:
Revista 		Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Amsterdam Elsevier

Acesso online

3
From active names to π-calculus rewriting rules
From active names to π-calculus rewriting rules
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
The universe of approximations
The universe of approximations
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
A study on the potential active names of π-agents
A study on the potential active names of π-agents
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)

6
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006

Amsterdam Elsevier 2006

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

7
Using abduction to compute efficient proofs
Using abduction to compute efficient proofs
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)

8
A framework to generate synthetic multi-label datasets
A framework to generate synthetic multi-label datasets
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)

9
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
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
On edge-magic labelings of forests
On edge-magic labelings of forests
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)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.540)
  2. Revistas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (348)
  2. 1999Até2003  (1.817)
  3. 2004Até2008  (2.600)
  4. 2009Até2014  (1.235)
  5. Após 2014  (541)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.515)
  2. Japonês  (132)
  3. Português  (26)
  4. Francês  (2)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.