1
Material Type:
Artigo
We are happy to organize this issue of the Electronic Notes in Theoretical Computer Science . [Prefácio]
Gabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastián Urrutia; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)
Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p.1-2, 2019
Amsterdam 2019
Localização:
IME - Inst. Matemática e Estatística
(PROD-3000163 ) (Acessar)
This feature requires javascript
2
Material Type:
Artigo de Congresso
A study on the potential active names of π-agents
Ana Cristina Vieira de Melo Brazilian Workshop on Formal Methods - WMF (2003 Campina Grande)
Electronic Notes in Theoretical Computer Science Amsterdam v. 95, p. 269-286, 2004
Amsterdam 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-1482363 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Artigo de Congresso
From active names to π-calculus rewriting rules
Ana Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)
Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005
Amsterdam 2005
Localização:
IME - Inst. Matemática e Estatística
(PROD-1477195 ) e outros locais(Acessar)
This feature requires javascript
4
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)
This feature requires javascript
5
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)
This feature requires javascript
6
Material Type:
Artigo de Congresso
On Tuza's conjecture for triangulations and graphs with small treewidth
Fábio Happ Botler Cristina Gomes Fernandes 1966-; Juan Gutierrez; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)
Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p. 171-183, 2019
Amsterdam Elsevier 2019
Localização:
IME - Inst. Matemática e Estatística
(PROD-3000179 ) (Acessar)
This feature requires javascript
7
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
8
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)
This feature requires javascript
9
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
10
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)
This feature requires javascript