skip to main content
Idioma:
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
Polynomial approximations of full propositional logic via limited bivalence
Polynomial approximations of full propositional logic via limited bivalence
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Polynomial approximations of full propositional logic via limited bivalence

Marcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

Localização: IME - Inst. Matemática e Estatística    (PROD-1412250 ) e outros locais(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
Logic, language, information, and computation
Logic, language, information, and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, language, information, and computation

Alexandra Silva Renata Wassermann; Ruy de Queiroz; International Workshop on Logic, Language, Information, and Computation - WoLLIC (27. 2021 virtual event)

Cham Springer 2021

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

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

6
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Entailment multipliers an algebraic characterization of validity for classical and modal logics

Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

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

8
Using α-ctl to specify complex planning goals
Using α-ctl to specify complex planning goals
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using α-ctl to specify complex planning goals

Silvio do Lago Pereira Leliane Nunes de Barros; International Workshop on Logic, Language, Information, and Computation - WoLLIC (15. 2008 Edinburgh)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. International Workshop on Logic, L
  3. Wassermann, R
  4. Workshop on Logic, L
  5. Pereira, S

Neste Assunto:

  1. Lógica
  2. Ciência Da Computação
  3. Lógica Formal
  4. Lógica Modal
  5. Semântica

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

Buscando em bases de dados remotas. Favor aguardar.