skip to main content
Idioma:
Resultados 1 2 next page
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
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
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
A graphical foundation for schedules
A graphical foundation for schedules
Material Type:
Artigo 		Adicionar ao Meu Espaço

A graphical foundation for schedules

McCusker, Guy ; Power, John ; Wingfield, Cai

Electronic Notes in Theoretical Computer Science, 2012-09, Vol.286, p.273-289 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?

Behrisch, Mike ; Kerkhoff, Sebastian ; Power, John

Electronic Notes in Theoretical Computer Science, 2012, Vol.286, p.5-16 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Modelling local variables: possible worlds and object spaces
Modelling local variables: possible worlds and object spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modelling local variables: possible worlds and object spaces

McCusker, Guy A ; Power, John

Electronic Notes in Theoretical Computer Science, 2010-09, Vol.265, p.389-402 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Understanding game semantics through coherence spaces
Understanding game semantics through coherence spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Understanding game semantics through coherence spaces

Calderon, Ana C ; McCusker, Guy A

Electronic Notes in Theoretical Computer Science, 2010-09, Vol.265, p.231-244 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
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
8
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
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
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
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.