11
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)
This feature requires javascript
12
Material Type:
Artigo de Congresso
Model checking merged program traces
Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)
Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009
Amsterdam Elsevier 2009
Localização:
IME - Inst. Matemática e Estatística
(PROD-3010468 ) (Acessar)
This feature requires javascript
13
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)
This feature requires javascript
14
Material Type:
Artigo de Congresso
Definability in o-minimal expansions of the real numbers
Ricardo Bianconi Workhop on Logic, Language, Information and Computation - WoLLIC (9. 2002 Rio de Janeiro)
Electronic Notes in Theoretical Computer Science Amsterdam v. 67, p. 1-6, 2002
Amsterdam 2002
Localização:
IME - Inst. Matemática e Estatística
(PROD-3071052 ) (Acessar)
This feature requires javascript
15
Material Type:
Artigo de Congresso
A comparison of multi-label feature selection methods using the problem transformation approach
Newton Spolaôr Everton Alvares Cherman; Maria Carolina Monard; Huei Diana Lee; Latin American Conference in Informatics - CLEI (38. 2012 Medellín, Colombia)
Electronic Notes in Theoretical Computer Science Amsterdam : Elsevier v. 292, n. 5, p. 135-151, mar. 2013
Amsterdam Elsevier 2013
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2340527 ) (Acessar)
This feature requires javascript
16
Material Type:
Artigo de Congresso
A framework to generate synthetic multi-label datasets
Jimena Torres Tomás Newton Spolaôr; Everton Alvares Cherman; Maria Carolina Monard; Latin American Computing Conference - CLEI (39. 2013 Naiguatá, Venezuela)
Electronic Notes in Theoretical Computer Science Amsterdam : Elsevier v. 302, p. 155-176, fev. 2014
Amsterdam Elsevier 2014
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2449893 ) (Acessar)
This feature requires javascript