skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Dowek, Gilles remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A linear linear lambda-calculus
A linear linear lambda-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A linear linear lambda-calculus

Díaz-Caro, Alejandro ; Dowek, Gilles

Mathematical structures in computer science, 2024-05, p.1-35 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory

Blot, Valentin ; Dowek, Gilles ; Traversié, Thomas ; Winterhalter, Théo

Lecture Notes in Computer Science, International Conference on Foundations of Software Science and Computation Structures, 2024, Vol.14575 (2), p.3-23 [Periódico revisado por pares]

Springer Nature Switzerland

Sem texto completo

Citações Citado por
3
Extensional proofs in a propositional logic modulo isomorphisms
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

Citações Citado por
4
A new connective in natural deduction, and its application to quantum computing
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

Citações Citado por
5
A modular construction of type theories
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

Citações Citado por
6
Explanation: From Ethics to Logic
Explanation: From Ethics to Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Explanation: From Ethics to Logic

DOWEK, Gilles

Annals of the Japan Association for Philosophy of Science, 2023, Vol.32, pp.1-16 [Periódico revisado por pares]

Japan Association for Philosophy of Science

Texto completo disponível

Citações Citado por
7
From the Universality of Mathematical Truth to the Interoperability of Proof Systems
From the Universality of Mathematical Truth to the Interoperability of Proof Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From the Universality of Mathematical Truth to the Interoperability of Proof Systems

Dowek, Gilles

LNAI, 2022, Vol.13385 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
8
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs

Dowek, Gilles ; Férey, Gaspard ; Jouannaud, Jean-Pierre ; Liu, Jiaxiang

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

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
9
Two linearities for quantum computing in the lambda calculus
Two linearities for quantum computing in the lambda calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two linearities for quantum computing in the lambda calculus

Díaz-Caro, Alejandro ; Dowek, Gilles ; Rinaldi, Juan Pablo

BioSystems, 2019-12, Vol.186, p.104012-104012, Article 104012 [Periódico revisado por pares]

Ireland: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Towards Combining Model Checking and Proof Checking
Towards Combining Model Checking and Proof Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Combining Model Checking and Proof Checking

Jiang, Ying ; Liu, Jian ; Dowek, Gilles ; Ji, Kailiang

Computer journal, 2019-09 [Periódico revisado por pares]

Oxford University Press (UK)

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (43)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (30)
  2. Anais de Congresso  (10)
  3. Book Chapters  (10)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (5)
  2. 1999Até2004  (16)
  3. 2005Até2010  (10)
  4. 2011Até2017  (15)
  5. Após 2017  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (51)
  2. Japonês  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.