|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Algebra of Pure Quantum Programming |
Altenkirch, Thorsten |
2007 |
170 | C |
p. 23-47 25 p. |
artikel |
|
| 2 | A Process Algebra for Reasoning About Quantum Security |
Adão, P. |
2007 |
170 | C |
p. 3-21 19 p. |
artikel |
|
| 3 | Dagger Compact Closed Categories and Completely Positive Maps |
Selinger, Peter |
2007 |
170 | C |
p. 139-163 25 p. |
artikel |
|
| 4 | De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure |
Coecke, Bob |
2007 |
170 | C |
p. 49-72 24 p. |
artikel |
|
| 5 | Distributed Measurement-based Quantum Computation |
Danos, Vincent |
2007 |
170 | C |
p. 73-94 22 p. |
artikel |
|
| 6 | Pauli Measurements are Universal |
Danos, Vincent |
2007 |
170 | C |
p. 95-100 6 p. |
artikel |
|
| 7 | Preface |
Selinger, Peter |
2007 |
170 | C |
p. 1- 1 p. |
artikel |
|
| 8 | Quantum Patterns and Types for Entanglement and Separability |
Perdrix, Simon |
2007 |
170 | C |
p. 125-138 14 p. |
artikel |
|
| 9 | Quantum Programming With Mixed States |
Zuliani, Paolo |
2007 |
170 | C |
p. 185-199 15 p. |
artikel |
|
| 10 | Quantum Programs With Classical Output Streams |
Unruh, Dominique |
2007 |
170 | C |
p. 165-184 20 p. |
artikel |
|
| 11 | Simulating and Compiling Code for the Sequential Quantum Random Access Machine |
Nagarajan, Rajagopal |
2007 |
170 | C |
p. 101-124 24 p. |
artikel |
11 gevonden resultaten