skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

3
On Tuza's conjecture for triangulations and graphs with small treewidth
On Tuza's conjecture for triangulations and graphs with small treewidth
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)

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

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

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

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

8
Model checking merged program traces
Model checking merged program traces
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3010468 )(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
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)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

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

Buscando em bases de dados remotas. Favor aguardar.