skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Dowek, Gilles remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Lineal: A linear-algebraic Lambda-calculus
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

Citações Citado por
3
A constructive proof of Skolem theorem for constructive logic
A constructive proof of Skolem theorem for constructive logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A constructive proof of Skolem theorem for constructive logic

Dowek, Gilles ; Werner, Benjamin

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Permissive-Nominal Logic (journal version)
Permissive-Nominal Logic (journal version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Permissive-Nominal Logic (journal version)

Dowek, Gilles ; Gabbay, Murdoch J

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory
From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory

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

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions
A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions

Dowek, Gilles

2023-10

Texto completo disponível

Citações Citado por
7
Automatic Proof Checking and Proof Construction by Tactics
Automatic Proof Checking and Proof Construction by Tactics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Proof Checking and Proof Construction by Tactics

Dowek, Gilles

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
A linear proof language for second-order intuitionistic linear logic
A linear proof language for second-order intuitionistic linear logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A linear proof language for second-order intuitionistic linear logic

Díaz-Caro, Alejandro ; Dowek, Gilles ; Ivnisky, Malena ; Malherbe, Octavio

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits

Dowek, Gilles ; Gabbay, Murdoch J

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
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

arXiv.org, 2023-04

Ithaca: Cornell University Library, arXiv.org

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. Revistas revisadas por pares (44)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1998  (5)
  2. 1998Até2002  (16)
  3. 2003Até2009  (14)
  4. 2010Até2015  (40)
  5. Após 2015  (76)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (157)
  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.