Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Outros
|
Electronic Notes in Theoretical Computer ScienceMaribel Fernández Marcelo FingerAmsterdam Elsevier 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Entailment multipliers an algebraic characterization of validity for classical and modal logicsMarcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2176241 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
The universe of approximationsMarcelo 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, 2003Amsterdam 2003Localização: IME - Inst. Matemática e Estatística (PROD-1367695 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo
|
The decidability of a fragment of BB'IW-logicSabine Broda Luís Damas 1951-; Marcelo Finger; Paulo J. S SilvaTheoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004Amsterdam 2004Localização: IME - Inst. Matemática e Estatística (PROD-1408041 )(Acessar) |
|
5 |
Material Type: Artigo
|
The universe of propositional approximationsMarcelo Finger Renata WassermannTheoretical Computer Science Amsterdam v. 355, n. 2, p. 153-166, 2006Amsterdam 2006Localização: IME - Inst. Matemática e Estatística (PROD-1514615 )(Acessar) |
|
6 |
Material Type: Artigo
|
Semantics and proof-theory of depth bounded Boolean logicsMarcello D'Agostino Marcelo Finger; Dov GabbayTheoretical Computer Science Amsterdam v. 480, p. 43-68, 2013Amsterdam 2013Localização: IME - Inst. Matemática e Estatística (PROD-2407159 )(Acessar) |
|
7 |
Material Type: Artigo
|
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]Marcelo Finger Delia KesnerTheoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)Amsterdam 2015Localização: IME - Inst. Matemática e Estatística (PROD-2860800 )(Acessar) |
|
8 |
Material Type: Artigo
|
The decidability of a fragment of BB'IW-logicSabine Broda Luís Damas 1951-; Marcelo Finger; Paulo José da Silva e SilvaTheoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004Amsterdam 2004Localização: IME - Inst. Matemática e Estatística (PROD-1408041 )(Acessar) |
|
9 |
Material Type: Artigo
|
The universe of propositional approximationsMarcelo Finger Renata WassermannTheoretical Computer Science Amsterdam v. 355, n. 2, p. 153-166, 2006Amsterdam 2006Localização: IME - Inst. Matemática e Estatística (PROD-1514615 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Polynomial approximations of full propositional logic via limited bivalenceMarcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)Proceedings Berlin : Springer, 2004Berlin Springer 2004Localização: IME - Inst. Matemática e Estatística (PROD-1412250 ) e outros locais(Acessar) |