skip to main content
Idioma:
Refinado por: autor: Díaz-Caro, Alejandro remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
The probability of non-confluent systems
The probability of non-confluent systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The probability of non-confluent systems

Díaz-Caro, Alejandro ; Dowek, Gilles

Electronic proceedings in theoretical computer science, 2014-03, Vol.144 (Proc. DCM 2013), p.1-15

Open Publishing Association

Texto completo disponível

Citações Citado por
4
Non determinism through type isomorphism
Non determinism through type isomorphism
Material Type:
Artigo 		Adicionar ao Meu Espaço

Non determinism through type isomorphism

Díaz-Caro, Alejandro ; Dowek, Gilles

Electronic proceedings in theoretical computer science, 2013-03, Vol.113 (Proc. LSFA 2012), p.137-144

Open Publishing Association

Texto completo disponível

Citações Citado por
5
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
6
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:
Ata de Congresso 		Adicionar ao Meu Espaço

A New Connective in Natural Deduction, and Its Application to Quantum Computing

Díaz-Caro, Alejandro ; Dowek, Gilles

Theoretical Aspects of Computing – ICTAC 2021, p.175-193 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

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

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

arXiv.org, 2023-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (14)
  2. Revistas revisadas por pares (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (16)
  2. Anais de Congresso  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2013  (1)
  2. 2013Até2013  (2)
  3. 2014Até2016  (3)
  4. 2017Até2019  (4)
  5. Após 2019  (8)
  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.