1
|
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)
|
2
|
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)
|
3
|
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)
|
4
|
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)
|
5
|
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)
|
6
|
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)
|