1
|
Material Type: Artigo de Congresso
|
|
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)
|
2
|
Material Type: Artigo de Congresso
|
|
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
|
Material Type: Artigo
|
|
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)
|
4
|
Material Type: Artigo
|
|
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)
|
5
|
Material Type: Artigo
|
|
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)
|
6
|
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 Kesner
Theoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)
Amsterdam 2015
Localização:
IME - Inst. Matemática e Estatística
(PROD-2860800 )(Acessar)
|
7
|
Material Type: Artigo
|
|
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)
|
8
|
Material Type: Artigo
|
|
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)
|
9
|
Material Type: Artigo de Congresso
|
|
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)
|
10
|
Material Type: Artigo de Congresso
|
|
Comparing two Markov methods for part-of-speech tagging of portuguese
Fábio Natanael Kepler Marcelo Finger; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto)
Proceedings Berlin : Springer, 2006
Berlin Springer 2006
Localização:
IME - Inst. Matemática e Estatística
(PROD-1584416 ) e outros locais(Acessar)
|