skip to main content
Refinado por: autor: Dowek, Gilles remover Base de dados/Biblioteca: EZB Free E-Journals remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A modular construction of type theories
Material Type:
Artigo
Adicionar ao Meu Espaço

A modular construction of type theories

Blanqui, Frédéric ; Dowek, Gilles ; Grienenberger, Emilie ; Hondet, Gabriel ; Thiré, François

Logical methods in computer science, 2023-02, Vol.19, Issue 1 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

2
Lineal: A linear-algebraic Lambda-calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

Lineal: A linear-algebraic Lambda-calculus

Pablo Arrighi ; Gilles Dowek

Logical methods in computer science, 2017-01, Vol.13, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

3
A new connective in natural deduction, and its application to quantum computing
Material Type:
Artigo
Adicionar ao Meu Espaço

A new connective in natural deduction, and its application to quantum computing

Díaz-Caro, Alejandro ; Dowek, Gilles

Theoretical computer science, 2023-05, Vol.957, p.113840, Article 113840 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

4
Extensional proofs in a propositional logic modulo isomorphisms
Material Type:
Artigo
Adicionar ao Meu Espaço

Extensional proofs in a propositional logic modulo isomorphisms

Díaz-Caro, Alejandro ; Dowek, Gilles

Theoretical computer science, 2023-10, Vol.977, p.114172, Article 114172 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

5
Lineal: A linear-algebraic lambda-calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

Lineal: A linear-algebraic lambda-calculus

Arrighi, Pablo ; Dowek, Gilles

Logical methods in computer science, 2013 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

6
A Simple Proof that Super-Consistency Implies Cut Elimination
Material Type:
Artigo
Adicionar ao Meu Espaço

A Simple Proof that Super-Consistency Implies Cut Elimination

Dowek, Gilles ; Hermant, Olivier

Notre Dame journal of formal logic, 2012-01, Vol.53 (4), p.439-456 [Periódico revisado por pares]

University of Notre Dame

Texto completo disponível

7
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
Material Type:
Artigo
Adicionar ao Meu Espaço

PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

Dowek, Gilles ; Gabbay, Murdoch J.

Theoretical computer science, 2012-09, Vol.451, p.38-69 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

8
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Eigenvariables, bracketing and the decidability of positive minimal predicate logic

DOWEK, Gilles ; YING JIANG

Theoretical computer science, 2006-08, Vol.360 (1-3), p.193-208 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

9
On the expressive power of schemes
Material Type:
Artigo
Adicionar ao Meu Espaço

On the expressive power of schemes

Dowek, Gilles ; Jiang, Ying

Information and computation, 2011-09, Vol.209 (9), p.1231-1245 [Periódico revisado por pares]

Amsterdam: Elsevier Inc

Texto completo disponível

10
A formal library of set relations and its application to synchronous languages
Material Type:
Artigo
Adicionar ao Meu Espaço

A formal library of set relations and its application to synchronous languages

Rocha, Camilo ; Muñoz, César ; Dowek, Gilles

Theoretical computer science, 2011-08, Vol.412 (37), p.4853-4866 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2000  (1)
  2. 2000Até2005  (1)
  3. 2006Até2010  (1)
  4. 2011Até2012  (5)
  5. Após 2012  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.