skip to main content
Idioma:
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Multi-Objective Optimization Algorithm for Center-Based Clustering
A Multi-Objective Optimization Algorithm for Center-Based Clustering
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Multi-Objective Optimization Algorithm for Center-Based Clustering

León, Jared ; Chullo-Llave, Boris ; Enciso-Rodas, Lauro ; Soncco-Álvarez, José Luis

Electronic notes in theoretical computer science, 2020-06, Vol.349, p.49-67 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Observationally-induced Algebras in Domain Theory
Observationally-induced Algebras in Domain Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Observationally-induced Algebras in Domain Theory

Battenfeld, Ingo

Electronic notes in theoretical computer science, 2014-02, Vol.301, p.21-37 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Structural Translation from Time Petri Nets to Timed Automata
Structural Translation from Time Petri Nets to Timed Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Structural Translation from Time Petri Nets to Timed Automata

Cassez, Franck ; Roux, Olivier-H.

Electronic notes in theoretical computer science, 2005-05, Vol.128 (6), p.145-160 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Handling Liveness Properties in (ω-)Regular Model Checking
Handling Liveness Properties in (ω-)Regular Model Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Handling Liveness Properties in (ω-)Regular Model Checking

Bouajjani, Ahmed ; Legay, Axel ; Wolper, Pierre

Electronic notes in theoretical computer science, 2005-12, Vol.138 (3), p.101-115 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Combining Non-stably Infinite, Non-first Order Theories
Combining Non-stably Infinite, Non-first Order Theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining Non-stably Infinite, Non-first Order Theories

Fontaine, Pascal ; Gribomont, Pascal

Electronic notes in theoretical computer science, 2005-07, Vol.125 (3), p.37-51 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Managing Proof Documents for Asynchronous Processing
Managing Proof Documents for Asynchronous Processing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Managing Proof Documents for Asynchronous Processing

Gast, Holger

Electronic notes in theoretical computer science, 2009-01, Vol.226, p.49-66 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
An Interactive Driver for Goal-directed Proof Strategies
An Interactive Driver for Goal-directed Proof Strategies
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Interactive Driver for Goal-directed Proof Strategies

Asperti, Andrea ; Tassi, Enrico

Electronic notes in theoretical computer science, 2009-01, Vol.226, p.89-105 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Towards Merging PlatΩ and PGIP
Towards Merging PlatΩ and PGIP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Merging PlatΩ and PGIP

Aspinall, David ; Autexier, Serge ; Lüth, Christoph ; Wagner, Marc

Electronic notes in theoretical computer science, 2009-01, Vol.226, p.3-21 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A User Interface for a Mathematical System that Allows Ambiguous Formulae
A User Interface for a Mathematical System that Allows Ambiguous Formulae
Material Type:
Artigo 		Adicionar ao Meu Espaço

A User Interface for a Mathematical System that Allows Ambiguous Formulae

Sacerdoti Coen, Claudio

Electronic notes in theoretical computer science, 2009-01, Vol.226, p.67-87 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Preface
Preface
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface

Power, John ; Wingfield, Cai

Electronic Notes in Theoretical Computer Science, 2014-03, Vol.303, p.1-2 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2005  (2)
  2. 2005Até2007  (4)
  3. 2008Até2009  (7)
  4. 2010Até2014  (6)
  5. Após 2014  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.