skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Electronic Notes in Theoretical Computer Science
Material Type:
Revista 		Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Amsterdam Elsevier

Acesso online

2
Linear Time Computable Problems and Logical Descriptions
Linear Time Computable Problems and Logical Descriptions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Linear Time Computable Problems and Logical Descriptions

Seese, Detlef

Electronic notes in theoretical computer science, 1995, Vol.2, p.246-259

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Subtypes and bounded quantification from a fibred perspective
Subtypes and bounded quantification from a fibred perspective
Material Type:
Artigo 		Adicionar ao Meu Espaço

Subtypes and bounded quantification from a fibred perspective

Jacobs, B.P.F.

Electronic notes in theoretical computer science, 1995, Vol.1, p.273-289

Elsevier B.V

Texto completo disponível

Citações Citado por
4
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Compositional Approach to Structuring and Refinement of Typed Graph Grammars

Corradini, Andrea ; Heckel, Reiko

Electronic notes in theoretical computer science, 1995, Vol.2, p.46-55

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Concurrent Computing: from Petri Nets to Graph Grammars
Concurrent Computing: from Petri Nets to Graph Grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Concurrent Computing: from Petri Nets to Graph Grammars

Corradini, Andrea

Electronic notes in theoretical computer science, 1995, Vol.2, p.56-70

Elsevier B.V

Texto completo disponível

Citações Citado por
6
A Note on Outward and Inward Productions in the Categorical Graph-Grammar Approach and Δ-Grammars
A Note on Outward and Inward Productions in the Categorical Graph-Grammar Approach and Δ-Grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Note on Outward and Inward Productions in the Categorical Graph-Grammar Approach and Δ-Grammars

Schneider, H.J.

Electronic notes in theoretical computer science, 1995, Vol.2, p.238-245

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Semirings and Tree-to-Graph-to-Tree Transductions
Semirings and Tree-to-Graph-to-Tree Transductions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semirings and Tree-to-Graph-to-Tree Transductions

Drewes, Frank

Electronic notes in theoretical computer science, 1995, Vol.2, p.81-88

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Concurrent Derivations as Single Pushout Graph Grammar Processes
Concurrent Derivations as Single Pushout Graph Grammar Processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Concurrent Derivations as Single Pushout Graph Grammar Processes

Korff, Martin ; Ribeiro, Leila

Electronic notes in theoretical computer science, 1995, Vol.2, p.177-186

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A fully abstract semantics for a nondeterministic functional language with monadic types
A fully abstract semantics for a nondeterministic functional language with monadic types
Material Type:
Artigo 		Adicionar ao Meu Espaço

A fully abstract semantics for a nondeterministic functional language with monadic types

Jeffrey, Alan

Electronic notes in theoretical computer science, 1995, Vol.1, p.290-301

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Generalizing Coherence Spaces and Hypercoherences
Generalizing Coherence Spaces and Hypercoherences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generalizing Coherence Spaces and Hypercoherences

Lamarche, François

Electronic notes in theoretical computer science, 1995, Vol.1, p.355-369

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.   

Mostrar Somente

  1. Revistas revisadas por pares (18)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

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

Idioma 

  1. Inglês  (6.474)
  2. Japonês  (130)
  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.