skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: idioma: Português remover Electronic Notes In Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Pseudo-distributive Laws
Pseudo-distributive Laws
Material Type:
Artigo 		Adicionar ao Meu Espaço

Pseudo-distributive Laws

Cheng, Eugenia ; Hyland, Martin ; Power, John

Electronic notes in theoretical computer science, 2003, Vol.83, p.227-245

Elsevier B.V

Texto completo disponível

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

Preface

Electronic notes in theoretical computer science, 2003, Vol.83, p.i-ii

Texto completo disponível

Citações Citado por
3
Ribbon Proofs
Ribbon Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ribbon Proofs

Bean, Jules

Electronic notes in theoretical computer science, 2003, Vol.83, p.1-21

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Chu Spaces, Concept Lattices, and Domains
Chu Spaces, Concept Lattices, and Domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Chu Spaces, Concept Lattices, and Domains

Zhang, Guo-Qiang

Electronic notes in theoretical computer science, 2003, Vol.83, p.287-302

Texto completo disponível

Citações Citado por
5
How Do Domains Model Topologies?
How Do Domains Model Topologies?
Material Type:
Artigo 		Adicionar ao Meu Espaço

How Do Domains Model Topologies?

Waszkiewicz, Paweł

Electronic notes in theoretical computer science, 2003, Vol.83, p.247-262

Texto completo disponível

Citações Citado por
6
Contextual Equivalence for Higher-Order π-Calculus Revisited
Contextual Equivalence for Higher-Order π-Calculus Revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Contextual Equivalence for Higher-Order π-Calculus Revisited

Jeffrey, Alan ; Rathke, Julian

Electronic notes in theoretical computer science, 2003, Vol.83, p.149-168

Texto completo disponível

Citações Citado por
7
Compact Coverages Generate Spectral Frames
Compact Coverages Generate Spectral Frames
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compact Coverages Generate Spectral Frames

Zhang, Guo-Qiang

Electronic notes in theoretical computer science, 2003, Vol.83, p.279-285

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Entropic Geometry from Logic
Entropic Geometry from Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Entropic Geometry from Logic

Coecke, Bob

Electronic notes in theoretical computer science, 2003, Vol.83, p.39-53

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Intensional Double Glueing, Biextensional Collapse, and the Chu Construction

Hughes, Dominic

Electronic notes in theoretical computer science, 2003, Vol.83, p.131-147

Texto completo disponível

Citações Citado por
10
A Type System for Robust Declassification
A Type System for Robust Declassification
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Type System for Robust Declassification

Zdancewic, Steve

Electronic notes in theoretical computer science, 2003, Vol.83, p.263-277

Elsevier B.V

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.