skip to main content
Idioma:
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
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

2024-02

Texto completo disponível

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

2023-12

Texto completo disponível

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

2023-12

Texto completo disponível

Citações Citado por
6
PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
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

2023-12

Texto completo disponível

Citações Citado por
7
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
Material Type:
Artigo 		Adicionar ao Meu Espaço

Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques

Dowek, Gilles ; Gabbay, Murdoch J ; Mulligan, Dominic

2023-12

Texto completo disponível

Citações Citado por
8
Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory
Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory

Assaf, Ali ; Burel, Guillaume ; Cauderlier, Raphaël ; Delahaye, David ; Dowek, Gilles ; Dubois, Catherine ; Gilbert, Frédéric ; Halmagrand, Pierre ; Hermant, Olivier ; Saillard, Ronan

2023-11

Texto completo disponível

Citações Citado por
9
Relative normalization
Relative normalization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relative normalization

Dowek, Gilles ; Miquel, Alexandre

2023-10

Texto completo disponível

Citações Citado por
10
Cut elimination for Zermelo set theory
Cut elimination for Zermelo set theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cut elimination for Zermelo set theory

Dowek, Gilles ; Miquel, Alexandre

2023-10

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 (119)
  2. Revistas revisadas por pares (41)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (165)
  2. Anais de Congresso  (17)
  3. Book Chapters  (16)
  4. Livros  (7)
  5. Recursos Textuais  (3)
  6. Dissertações  (2)
  7. Imagens  (1)
  8. Reports  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (18)
  2. 2002Até2006  (6)
  3. 2007Até2011  (17)
  4. 2012Até2017  (34)
  5. Após 2017  (69)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (207)
  2. Francês  (5)
  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.