skip to main content
Idioma:
Refinado por: Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo J. S Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

2
The universe of propositional approximations
The universe of propositional approximations
Material Type:
Artigo 		Adicionar ao Meu Espaço

The universe of propositional approximations

Marcelo Finger Renata Wassermann

Theoretical Computer Science Amsterdam v. 355, n. 2, p. 153-166, 2006

Amsterdam 2006

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

3
Semantics and proof-theory of depth bounded Boolean logics
Semantics and proof-theory of depth bounded Boolean logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semantics and proof-theory of depth bounded Boolean logics

Marcello D'Agostino Marcelo Finger; Dov Gabbay

Theoretical Computer Science Amsterdam v. 480, p. 43-68, 2013

Amsterdam 2013

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

4
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo José da Silva e Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

5
The universe of propositional approximations
The universe of propositional approximations
Material Type:
Artigo 		Adicionar ao Meu Espaço

The universe of propositional approximations

Marcelo Finger Renata Wassermann

Theoretical Computer Science Amsterdam v. 355, n. 2, p. 153-166, 2006

Amsterdam 2006

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Autor/Criador 

  1. Wassermann, R  (2)
  2. Broda, S  (2)
  3. Silva, P  (2)
  4. Damas, L  (2)
  5. D'Agostino  (1)
  6. Gabbay, D  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Wassermann, R
  3. Broda, S
  4. Silva, P
  5. Damas, L

Neste Assunto:

  1. Lógica Matemática

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

Buscando em bases de dados remotas. Favor aguardar.