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
Mostrar Somente
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
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic

Preto, Sandro ; Finger, Marcelo

Electronic notes in theoretical computer science, 2020-09, Vol.351, p.167-186

Elsevier B.V

Texto completo disponível

Citações Citado por
2
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)

3
Using Abduction to Compute Efficient Proofs
Using Abduction to Compute Efficient Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Abduction to Compute Efficient Proofs

Finger, Marcelo

Electronic notes in theoretical computer science, 2009-08, Vol.247, p.39-49

Elsevier B.V

Texto completo disponível

Citações Citado por
4
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)

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

6
The Universe of Approximations
The Universe of Approximations
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Universe of Approximations

Finger, Marcelo ; Wassermann, Renata

Electronic notes in theoretical computer science, 2003-09, Vol.84, p.91-104

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Towards an Efficient Prover for the C 1 Paraconsistent Logic
Towards an Efficient Prover for the C 1 Paraconsistent Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards an Efficient Prover for the C 1 Paraconsistent Logic

Neto, Adolfo ; Kaestner, Celso A.A. ; Finger, Marcelo

Electronic notes in theoretical computer science, 2009-12, Vol.256, p.87-102

Texto completo disponível

Citações Citado por
8
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

de Souza Rabello, Guilherme ; Finger, Marcelo

Electronic notes in theoretical computer science, 2006-01, Vol.143, p.171-184

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Informational Semantics, Non-Deterministic Matrices and Feasible Deduction

D'Agostino, Marcello

Electronic notes in theoretical computer science, 2014-07, Vol.305, p.35-52

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Generalized Probabilistic Satisfiability
Generalized Probabilistic Satisfiability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generalized Probabilistic Satisfiability

Caleiro, Carlos ; Casal, Filipe ; Mordido, Andreia

Electronic notes in theoretical computer science, 2017-06, Vol.332, p.39-56

Elsevier B.V

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (13)
  2. Disponível na Biblioteca (6)

Data de Publicação 

De até
Refinar
  1. Antes de2006  (4)
  2. 2006Até2009  (7)
  3. 2010Até2015  (3)
  4. 2016Até2019  (3)
  5. Após 2019  (2)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.