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
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
2
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
3
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
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
Weighted Complete Graphs for Condensing Data
Weighted Complete Graphs for Condensing Data
Material Type:
Artigo 		Adicionar ao Meu Espaço

Weighted Complete Graphs for Condensing Data

Guzmán-Ponce, A. ; Marcial-Romero, J. Raymundo ; Valdovinos-Rosas, R.M. ; Sánchez-Garreta, J.S.

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.45-60

Elsevier B.V

Texto completo disponível

Citações Citado por
6
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
7
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
8
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository

Medina Nieto, María Auxilio ; Díaz, Delia Arrieta ; de la Calleja Mora, Jorge ; Zacatzontetl Hernández, Laura ; Zacatelco Pérez, Marilú

Electronic notes in theoretical computer science, 2020-12, Vol.354, p.129-139

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
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
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.493)
  2. Revistas  (1)
  3. Mais opções open sub menu

Data de Publicação 

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

Idioma 

  1. Inglês  (6.468)
  2. Japonês  (131)
  3. Português  (26)
  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.