skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

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

7
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)

8
Algebras, graphs and thetas
Algebras, graphs and thetas
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)

9
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)

10
Towards an efficient prover for the C1 paraconsistent logic
Towards an efficient prover for the C1 paraconsistent logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3009319 )(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.503)
  2. Revistas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (344)
  2. 1999Até2003  (1.808)
  3. 2004Até2008  (2.588)
  4. 2009Até2014  (1.228)
  5. Após 2014  (536)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.480)
  2. Japonês  (130)
  3. Português  (24)
  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.