skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ScienceDirect (Elsevier) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Interaction graphs: Graphings

Seiller, Thomas Seiller, Thomas (Editor)

Annals of Pure and Applied Logic, February 2017, Vol.168(2), pp.278-320 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Interaction graphs: Additives

Seiller, Thomas Seiller, Thomas (Editor)

Annals of Pure and Applied Logic, February 2016, Vol.167(2), pp.95-154 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Reversible effects as inverse arrows

Heunen, Chris ; Kaarsgaard, Robin ; Karvonen, Martti

Electronic Notes in Theoretical Computer Science 341:179-199, 2018 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Approximate Relational Hoare Logic for Continuous Random Samplings

Sato, Tetsuya

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

On the confluence of lambda-calculus with conditional rewriting

Blanqui, Frédéric ; Kirchner, Claude ; Riba, Colin Blanqui, Frédéric (Editor)

Theoretical Computer Science, 07 August 2010, Vol.411(37), pp.3301-3327 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoding

Jonáš, Martin ; Strejček, Jan

Published in Information Processing Letters, 2018, vol. 135C [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract Processes of Place/Transition Systems

Van Glabbeek, Rob ; Goltz, Ursula ; Schicke, Jens-Wolfhard

Information Processing Letters 111(13), 2011, pp. 626-633 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

WQO dichotomy for 3-graphs

Lasota, Sławomir ; Piórkowski, Radosław

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Distinguishing between communicating transactions

Koutavas, Vasileios ; Gazda, Maciej ; Hennessy, Matthew

Information and Computation, April 2018, Vol.259, pp.1-30 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Bisimilarity of Open Terms in Stream GSOS

Bonchi, Filippo ; Van Bussel, Tom ; Lee, Matias David ; Rot, Jurriaan

Science of Computer Programming, Volume 172, pages 1-26, 2019, Elsevier [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
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 (4.122)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4.122)
  2. Anais de Congresso  (6)
  3. Resenhas  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1984  (34)
  2. 1984Até1992  (206)
  3. 1993Até2001  (635)
  4. 2002Até2011  (1.726)
  5. Após 2011  (1.529)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Meseguer, José
  2. Dubois, Didier
  3. Prade, Henri
  4. Melin, Patricia
  5. Castillo, Oscar

Buscando em bases de dados remotas. Favor aguardar.