skip to main content
Refinado por: Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CTS systems and Petri nets
Material Type:
Artigo
Adicionar ao Meu Espaço

CTS systems and Petri nets

Aalbersberg, I

Theoretical computer science, 1985, Vol.40, p.195-210 [Periódico revisado por pares]

Texto completo disponível

2
CTS systems and Petri nets
Material Type:
Artigo
Adicionar ao Meu Espaço

CTS systems and Petri nets

Aalbersberg, Ij.J. ; Rozenberg, G.

Theoretical computer science, 1985, Vol.40 (2-3), p.149-162 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

3
Theory of traces
Material Type:
Artigo
Adicionar ao Meu Espaço

Theory of traces

Aalbersberg, IJsbrand Jan ; Rozenberg, Grzegorz

Theoretical computer science, 1988-01, Vol.60 (1), p.1-82 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

4
Precedences in specifications and implementations of programming languages
Material Type:
Artigo
Adicionar ao Meu Espaço

Precedences in specifications and implementations of programming languages

Aasa, Annika

Theoretical computer science, 1995-05, Vol.142 (1), p.3-26 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

5
Formal parametric polymorphism
Material Type:
Artigo
Adicionar ao Meu Espaço

Formal parametric polymorphism

Abadi, M. ; Cardelli, L. ; Curien, P.-L.

Theoretical computer science, 1993-12, Vol.121 (1), p.9-58 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

6
The power of temporal proofs
Material Type:
Artigo
Adicionar ao Meu Espaço

The power of temporal proofs

Abadi, Martín

Theoretical computer science, 1989-06, Vol.65 (1), p.35-83 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

7
The power of temporal proofs: Theoretical computer science 65 (1989) 35–83
Material Type:
Artigo
Adicionar ao Meu Espaço

The power of temporal proofs: Theoretical computer science 65 (1989) 35–83

Abadi, Martín

Theoretical computer science, 1990-01, Vol.70 (2), p.275-275 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

8
The power of temporal proofs
Material Type:
Artigo
Adicionar ao Meu Espaço

The power of temporal proofs

Abadi, Martín

Theoretical computer science, 1990-01, Vol.70 (2), p.275 [Periódico revisado por pares]

Texto completo disponível

9
Secrecy types for asymmetric communication
Material Type:
Artigo
Adicionar ao Meu Espaço

Secrecy types for asymmetric communication

Abadi, Martín ; Blanchet, Bruno

Theoretical computer science, 2003-04, Vol.298 (3), p.387-415 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

10
Deciding knowledge in security protocols under equational theories
Material Type:
Artigo
Adicionar ao Meu Espaço

Deciding knowledge in security protocols under equational theories

Abadi, Martín ; Cortier, Véronique

Theoretical computer science, 2006-11, Vol.367 (1), p.2-32 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (18.622)
  2. Revistas revisadas por pares (18.613)
  3. Disponível na Biblioteca (30)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1984  (720)
  2. 1984Até1993  (2.188)
  3. 1994Até2003  (4.517)
  4. 2004Até2014  (6.340)
  5. Após 2014  (4.883)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (18.452)
  2. Japonês  (723)
  3. Francês  (150)
  4. Russo  (67)
  5. Alemão  (6)
  6. Interlingue  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.