skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs

López-Ramírez, Cristina ; Gutiérrez Gómez, Jorge Eduardo ; De Ita Luna, Guillermo

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.75-89

Elsevier B.V

Texto completo disponível

Citações Citado por
2
A Heuristic for the Coloring of Planar Graphs
A Heuristic for the Coloring of Planar Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Heuristic for the Coloring of Planar Graphs

De Ita Luna, Guillermo ; López-Ramírez, Cristina ; De Ita-Varela, Ana E. ; Gutiérrez-Gómez, Jorge E.

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.91-105

Elsevier B.V

Texto completo disponível

Citações Citado por
3
An Extension of the Stable Semantics via Lukasiewicz Logic
An Extension of the Stable Semantics via Lukasiewicz Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Extension of the Stable Semantics via Lukasiewicz Logic

Osorio, Mauricio ; Carballido Carranza, José Luis

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.141-155

Elsevier B.V

Texto completo disponível

Citações Citado por
4
On Interactive Proof-Search for Constructive Modal Necessity
On Interactive Proof-Search for Constructive Modal Necessity
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Interactive Proof-Search for Constructive Modal Necessity

Miranda-Perea, Favio E. ; del Carmen González Huesca, Lourdes ; Linares-Arévalo, P. Selene

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.107-127

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
Material Type:
Artigo 		Adicionar ao Meu Espaço

Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts

Osorio, Mauricio ; Zepeda, Claudia

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.157-170

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Murphree's Numerical Term Logic Tableaux
Murphree's Numerical Term Logic Tableaux
Material Type:
Artigo 		Adicionar ao Meu Espaço

Murphree's Numerical Term Logic Tableaux

Castro-Manzano, J. Martín

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.17-28

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Gradual Typing Using Union Typing With Records
Gradual Typing Using Union Typing With Records
Material Type:
Artigo 		Adicionar ao Meu Espaço

Gradual Typing Using Union Typing With Records

Ramírez Pulido, Karla ; Ortega-Arjona, Jorge Luis ; del Carmen González Huesca, Lourdes

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.171-186

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version

Everardo, Flavio ; Osorio, Mauricio

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.29-44

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A Note on Constructive Interpolation for the Multi-Modal Logic Km
A Note on Constructive Interpolation for the Multi-Modal Logic Km
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Note on Constructive Interpolation for the Multi-Modal Logic Km

Bárcenas, Everardo ; Lavalle-Martínez, José-de-Jesús ; Molero-Castillo, Guillermo ; Velázquez-Mena, Alejandro

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.3-16

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
Material Type:
Artigo 		Adicionar ao Meu Espaço

Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case

Hernández-Tello, Alejandro ; Macías, Verónica Borja ; Coniglio, Marcelo E.

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.61-74

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.477)
  2. Revistas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (345)
  2. 1999Até2003  (1.800)
  3. 2004Até2008  (2.572)
  4. 2009Até2014  (1.232)
  5. Após 2014  (529)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.454)
  2. Japonês  (128)
  3. Português  (24)
  4. Francês  (2)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.