skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Logical Methods in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Faithful (meta-)encodings of programmable strategies into term rewriting systems

Cirstea, Horatiu ; Lenglet, Serguei ; Moreau, Pierre-Etienne

Episciences.org 2017

Texto completo disponível

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

A Rewriting View of Simple Typing

Stump, Aaron ; Kimmell, Garrin ; Zantema, Hans ; Omar, Ruba El Haj

Logical Methods in Computer Science, Volume 9, Issue 1 (February 27, 2013) lmcs:936 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic Choreographies: Theory And Implementation

Dalla Preda, Mila ; Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo

Logical Methods in Computer Science, 03 May 2017, Vol.13, pp.1-57 [Periódico revisado por pares]

Texto completo disponível

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

On global types and multi-party sessions

Castagna, Giuseppe ; Dezani-Ciancaglini, Mariangiola ; Padovani, Luca

Logical Methods in Computer Science, 2012, Vol.8(1), pp.1-45 [Periódico revisado por pares]

Texto completo disponível

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

Preservation of strong normalisation modulo permutations for the structural lambda-calculus

Accattoli, Beniamino ; Kesner, Delia

Logical Methods in Computer Science, 2012, Vol.8(1:28) [Periódico revisado por pares]

Texto completo disponível

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

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Aristizábal, Andrés ; Biernacki, Dariusz ; Lenglet, Sergueï ; Polesiuk, Piotr

Logical Methods in Computer Science, 19 September 2017, Vol.13(3) [Periódico revisado por pares]

Texto completo disponível

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

Modular, Fully-abstract Compilation by Approximate Back-translation

Devriese, Dominique ; Patrignani, Marco ; Piessens, Frank ; Keuchel, Steven

Logical Methods in Computer Science, Volume 13, Issue 4 (October 25, 2017) lmcs:4011 [Periódico revisado por pares]

Texto completo disponível

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

Modular session types for objects

Gay, Simon J ; Gesbert, Nils ; Ravara, António ; Vasconcelos, Vasco Thudichum

Logical Methods in Computer Science, 16 December 2015, Vol.4(12), p.76 [Periódico revisado por pares]

Texto completo disponível

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

Logical relations for coherence of effect subtyping

Biernacki, Dariusz ; Polesiuk, Piotr

Logical Methods in Computer Science, Volume 14, Issue 1 (January 30, 2018) lmcs:4243 [Periódico revisado por pares]

Texto completo disponível

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

On Constructor Rewrite Systems and the Lambda Calculus

Lago, Ugo Dal ; Martini, Simone

Logical Methods in Computer Science, Volume 8, Issue 3 (August 14, 2012) lmcs:1213 [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.   

Buscando em bases de dados remotas. Favor aguardar.