|
Journals in DBLP
- Peter Selinger
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:1- [Journal]
- Pedro Adão, Paulo Mateus
A Process Algebra for Reasoning About Quantum Security. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:3-21 [Journal]
- Bob Coecke
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:49-72 [Journal]
- Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden
Distributed Measurement-based Quantum Computation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:73-94 [Journal]
- Vincent Danos, Elham Kashefi
Pauli Measurements are Universal. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:95-100 [Journal]
- Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams
Simulating and Compiling Code for the Sequential Quantum Random Access Machine. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:101-124 [Journal]
- Simon Perdrix
Quantum Patterns and Types for Entanglement and Separability. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:125-138 [Journal]
- Peter Selinger
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:139-163 [Journal]
- Dominique Unruh
Quantum Programs With Classical Output Streams: (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:165-184 [Journal]
- Paolo Zuliani
Quantum Programming With Mixed States. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:185-199 [Journal]
|