skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: Mathematical Structures in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Hybrid linear logic, revisited
Hybrid linear logic, revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid linear logic, revisited

CHAUDHURI, KAUSTUV ; DESPEYROUX, JOËLLE ; OLARTE, CARLOS ; PIMENTEL, ELAINE

Mathematical structures in computer science, 2019-09, Vol.29 (8), p.1151-1176 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
12
Enhanced coalgebraic bisimulation
Enhanced coalgebraic bisimulation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Enhanced coalgebraic bisimulation

ROT, JURRIAAN ; BONCHI, FILIPPO ; BONSANGUE, MARCELLO ; POUS, DAMIEN ; RUTTEN, JAN ; SILVA, ALEXANDRA

Mathematical structures in computer science, 2017-10, Vol.27 (7), p.1236-1264 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
13
On reduction and normalization in the computational core
On reduction and normalization in the computational core
Material Type:
Artigo 		Adicionar ao Meu Espaço

On reduction and normalization in the computational core

Faggian, Claudia ; Guerrieri, Giulio ; de’ Liguoro, Ugo ; Treglia, Riccardo

Mathematical structures in computer science, 2022-08, Vol.32 (7), p.934-981 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
14
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday
Material Type:
Artigo 		Adicionar ao Meu Espaço

A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday

Baelde, David ; Felty, Amy ; Nadathur, Gopalan ; Saurin, Alexis Baelde, David ; Felty, Amy ; Saurin, Alexis ; Nadathur, Gopalan

Mathematical Structures in Computer Science, 2019-09, Vol.29 (8), p.1007-1008 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
15
A semantics for nabla
A semantics for nabla
Material Type:
Artigo 		Adicionar ao Meu Espaço

A semantics for nabla

GOUBAULT-LARRECQ, JEAN

Mathematical structures in computer science, 2019-09, Vol.29 (8), p.1250-1274 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
16
Mackey-complete spaces and power series – a topological model of differential linear logic
Mackey-complete spaces and power series – a topological model of differential linear logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mackey-complete spaces and power series – a topological model of differential linear logic

KERJEAN, MARIE ; TASSON, CHRISTINE

Mathematical structures in computer science, 2018-04, Vol.28 (4), p.472-507 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
17
Formalization of real analysis: a survey of proof assistants and libraries
Formalization of real analysis: a survey of proof assistants and libraries
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formalization of real analysis: a survey of proof assistants and libraries

BOLDO, SYLVIE ; LELAY, CATHERINE ; MELQUIOND, GUILLAUME

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

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
18
Transport of finiteness structures and applications
Transport of finiteness structures and applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Transport of finiteness structures and applications

TASSON, CHRISTINE ; VAUX, LIONEL

Mathematical structures in computer science, 2018-08, Vol.28 (7), p.1061-1096 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
19
Simply typed fixpoint calculus and collapsible pushdown automata
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

Citações Citado por
20
Realizability algebras III: some examples
Realizability algebras III: some examples
Material Type:
Artigo 		Adicionar ao Meu Espaço

Realizability algebras III: some examples

KRIVINE, JEAN-LOUIS

Mathematical structures in computer science, 2018-01, Vol.28 (1), p.45-76 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2003  (7)
  2. 2003Até2008  (23)
  3. 2009Até2013  (51)
  4. 2014Até2019  (70)
  5. Após 2019  (45)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.