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 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 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
4
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
5
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
6
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
7
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
8
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
9
Typing Quantum Superpositions and Measurement
Typing Quantum Superpositions and Measurement
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Typing Quantum Superpositions and Measurement

Díaz-Caro, Alejandro ; Dowek, Gilles

Theory and Practice of Natural Computing, 2017, Vol.10687, p.281-293 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
Universality in two dimensions
Universality in two dimensions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Universality in two dimensions

Dershowitz, Nachum ; Dowek, Gilles

Journal of logic and computation, 2016-02, Vol.26 (1), p.143-167 [Periódico revisado por pares]

Oxford University Press (OUP)

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 (39)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2001  (15)
  2. 2001Até2005  (5)
  3. 2006Até2010  (4)
  4. 2011Até2016  (12)
  5. Após 2016  (10)
  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.