Refinar búsqueda

Fecha de publicación

Disciplinas

Tipo de documento

Artículos

4

Tipo de acceso

Idioma

Inglés

4

Autor

Palabras clave

Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Autor:Dowek, Gilles X

Mostrando 4 de un total de 4 resultados. (0.009 segundos)

Mostrando ítems 1-4 de 4

1

Artículo

Typing Quantum Superpositions and Measurement

Díaz Caro, Alejandro ; Dowek, Gilles (Springer, 2017-12)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Two linearities for quantum computing in the lambda calculus

Díaz Caro, Alejandro ; Dowek, Gilles ; Rinaldi, Juan Pablo (Elsevier, 2019-12)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Proof Normalisation in a Logic Identifying Isomorphic Propositions

Díaz Caro, Alejandro ; Dowek, Gilles (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-06)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

A new connective in natural deduction, and its application to quantum computing

Díaz Caro, Alejandro ; Dowek, Gilles (Elsevier Science, 2023-05)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 1-4 de 4

1