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

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

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

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
Definability in o-minimal expansions of the real numbers
Definability in o-minimal expansions of the real numbers
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Definability in o-minimal expansions of the real numbers

Ricardo Bianconi Workhop on Logic, Language, Information and Computation - WoLLIC (9. 2002 Rio de Janeiro)

Electronic Notes in Theoretical Computer Science Amsterdam v. 67, p. 1-6, 2002

Amsterdam 2002

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

6
Continuous R-valuations
Continuous R-valuations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Continuous R-valuations

Goubault-Larrecq, Jean ; Jia, Xiaodong

Electronic notes in theoretical computer science, 2023, Vol.2

Episciences

Sem texto completo

Citações Citado por
7
Bisimulations for intuitionistic temporal logics (2020)
Bisimulations for intuitionistic temporal logics (2020)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bisimulations for intuitionistic temporal logics (2020)

Balbiani, Philippe ; Boudou, Joseph ; Dieguez, Martin ; Fernández-Duque, David

Electronic notes in theoretical computer science, 2020

Elsevier

Texto completo disponível

Citações Citado por
8
Extensional and Intensional Strategies
Extensional and Intensional Strategies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extensional and Intensional Strategies

Bourdier, Tony ; Cirstea, Horatiu ; Dougherty, Daniel ; Kirchner, Hélène

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.1-19

EPTCS

Texto completo disponível

Citações Citado por
9
Lazy AC-Pattern Matching for Rewriting
Lazy AC-Pattern Matching for Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lazy AC-Pattern Matching for Rewriting

Belkhir, Walid ; Giorgetti, Alain

Electronic proceedings in theoretical computer science, 2012-01, Vol.82 (Proc. WRS 2011), p.37-51

Open Publishing Association

Texto completo disponível

Citações Citado por
10
The Sequent Calculus of Skew Monoidal Categories
The Sequent Calculus of Skew Monoidal Categories
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Sequent Calculus of Skew Monoidal Categories

Uustalu, Tarmo ; Veltri, Niccolò ; Zeilberger, Noam

Electronic notes in theoretical computer science, 2018-12, Vol.341, p.345-370

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1999  (130)
  2. 1999Até2003  (458)
  3. 2004Até2008  (662)
  4. 2009Até2014  (362)
  5. Após 2014  (114)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.722)
  2. Português  (3)
  3. Francês  (2)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.