skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Simply typed fixpoint calculus and collapsible pushdown automata
Material Type:
Artigo
Adicionar ao Meu Espaço

Simply typed fixpoint calculus and collapsible pushdown automata

SALVATI, SYLVAIN ; WALUKIEWICZ, IGOR

Mathematical structures in computer science, 2016-10, Vol.26 (7), p.1304-1350 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

2
Probabilistic logic over equations and domain restrictions
Material Type:
Artigo
Adicionar ao Meu Espaço

Probabilistic logic over equations and domain restrictions

Mordido, Andreia ; Caleiro, Carlos

Mathematical structures in computer science, 2019-06, Vol.29 (6), p.872-895 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

3
Classical lambda calculus in modern dress
Material Type:
Artigo
Adicionar ao Meu Espaço

Classical lambda calculus in modern dress

HYLAND, J.M.E.

Mathematical structures in computer science, 2017-06, Vol.27 (5), p.762-781 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

4
Characterizing co-NL by a group action
Material Type:
Artigo
Adicionar ao Meu Espaço

Characterizing co-NL by a group action

AUBERT, CLÉMENT ; SEILLER, THOMAS

Mathematical structures in computer science, 2016-05, Vol.26 (4), p.606-638 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

5
Infinitary affine proofs
Material Type:
Artigo
Adicionar ao Meu Espaço

Infinitary affine proofs

MAZZA, DAMIANO

Mathematical structures in computer science, 2017-06, Vol.27 (5), p.581-602 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

6
Redexes are stable in the λ-calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

Redexes are stable in the λ-calculus

Levy, Jean-Jacques

Mathematical structures in computer science, 2017-06, Vol.27 (5), p.738-750 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

7
The infinitary lambda calculus of the infinite eta Böhm trees
Material Type:
Artigo
Adicionar ao Meu Espaço

The infinitary lambda calculus of the infinite eta Böhm trees

SEVERI, PAULA ; DE VRIES, FER-JAN

Mathematical structures in computer science, 2017-06, Vol.27 (5), p.681-733 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

8
Theories of analytic monads
Material Type:
Artigo
Adicionar ao Meu Espaço

Theories of analytic monads

SZAWIEL, STANISŁAW ; ZAWADOWSKI, MAREK

Mathematical structures in computer science, 2014-12, Vol.24 (6), Article e240604 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

9
Compositional methods for information-hiding
Material Type:
Artigo
Adicionar ao Meu Espaço

Compositional methods for information-hiding

CHATZIKOKOLAKIS, KONSTANTINOS ; PALAMIDESSI, CATUSCIA ; BRAUN, CHRISTELLE

Mathematical structures in computer science, 2016-09, Vol.26 (6), p.908-932 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

10
On recursive operations over logic LTS
Material Type:
Artigo
Adicionar ao Meu Espaço

On recursive operations over logic LTS

ZHANG, YAN ; ZHU, ZHAOHUI ; ZHANG, JINJIN

Mathematical structures in computer science, 2015-09, Vol.25 (6), p.1382-1431 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2011  (5)
  2. 2011Até2012  (14)
  3. 2013Até2014  (7)
  4. 2015Até2017  (21)
  5. Após 2017  (7)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.