Electronic Notes in Theoretical Computer Science, Volume 270
Volume 270, Number 1, February 2011
- Ed Blakey: Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How. 17-28
- Yannick Delbecque: Game Semantics for Quantum Data. 41-57
- Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage: Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. 59-74
- Lorenzo Maccone: The Thermodynamic Arrow-of-time and Quantum Mechanics. 75-79
- Keye Martin: How to Randomly Flip a Quantum Bit. 81-97
- Simon Perdrix: Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. 99-111
- Peter Selinger: Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract). 113-119
- Benoît Valiron: On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). 121-128
- Jamie Vicary: Categorical Formulation of Finite-dimensional C*-algebras. 129-145
- Luca Bernardinello, Lucia Pomello, Stefania Rombolà: On Orthomodular Posets Generated by Transition Systems. 147-154
- Jonathan Grattage: An Overview of QML With a Concrete Implementation in Haskell. 165-174
- Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny: Verification of Quantum Protocols with a Probabilistic Model-Checker. 175-182
- Juliana Kaizer Vizzotto, André Rauber Du Bois: Modelling Parallel Quantum Computing Using Transactional Memory. 183-190
- Larisse Voufo: Quantum Circuits: From a Network to a One-Way Model. 191-210
Volume 270, Number 2, February 2011
- Alexandru Baltag, Sonja Smets: Correlated Information: A Logic for Multi-Partite Quantum Systems. 3-14
- Bob Coecke, Bill Edwards, Robert W. Spekkens: Phase Groups and the Origin of Non-locality for Qubits. 15-36
- Andreas Döring: Topos Quantum Logic and Mixed States. 59-77
- André Joyal, Joachim Kock: Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). 105-113
- Tim N. Palmer: The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity. 115-119
- Dusko Pavlovic: Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. 121-139
- Anne Preller, Mehrnoosh Sadrzadeh: Bell States and Negative Sentences in the Distributed Model of Meaning. 141-153
- Jamie Vicary: Categorical Properties of The Complex Numbers. 163-189
- Alexander Wilce: Symmetry and Composition in Probabilistic Theories. 191-207
- James R. Wootton, Jiannis K. Pachos: Universal Quantum Computation with Abelian Anyon Models. 209-218
- Pablo Arrighi, Alejandro Díaz-Caro: Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. 219-229
- Bob Coecke, Quanlong Wang, Baoshan Wang, Yongjun Wang, Qiye Zhang: Graphical Calculus for Quantum Key Distribution (Extended Abstract). 231-249
- Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Confluence Results for a Quantum Lambda Calculus with Measurements. 251-261
- Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters: An Algebra of Automata That Includes Both Classical and Quantum Entities. 263-272
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team