Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Using abduction to compute efficient proofsMarcelo Finger Workshop on Logical and Semantic Frameworks, with Applications - LSFA (3. 2008 Salvador, Brasil)Electronic Notes in Theoretical Computer Science Amsterdam v. 247, p. 39-49, 2009Amsterdam Elsevier 2009Localização: IME - Inst. Matemática e Estatística (PROD-3009321 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Classical and quantum satisfiabilityAnderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)Proceedings Sydney : EPTCS, 2012Sydney EPTCS 2012Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo de Congresso
|
An efficient algorithm for representing piecewise linear functions into logicSandro 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, 2020Amsterdam Elsevier 2020Localização: IME - Inst. Matemática e Estatística (PROD-3013847 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Towards an efficient prover for the C1 paraconsistent logicAdolfo 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, 2009Amsterdam Elsevier 2009Localização: IME - Inst. Matemática e Estatística (PROD-3009319 )(Acessar) |