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
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
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
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.