1
|
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)
|
2
|
Material Type: Artigo
|
|
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)
|
3
|
Material Type: Artigo de Congresso
|
|
Using abduction to compute efficient proofs
Marcelo 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, 2009
Amsterdam Elsevier 2009
Localização:
IME - Inst. Matemática e Estatística
(PROD-3009321 )(Acessar)
|
4
|
Material Type: Artigo de Congresso
|
|
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)
|
5
|
Material Type: Artigo de Congresso
|
|
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
|
Material Type: Artigo de Congresso
|
|
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)
|