Compact Representations for the Design of Quantum Logic

Part I. Introduction and Background

1. Introduction
Philipp Niemann, Robert Wille

2. Background
Philipp Niemann, Robert Wille

Part II. Representation of Quantum Functionality

3. Challenges and Initial Approaches
Philipp Niemann, Robert Wille

4. Quantum Multiple-Valued Decision Diagrams
Philipp Niemann, Robert Wille

5. Discussion and Outlook
Philipp Niemann, Robert Wille

Part III. Design of Quantum Logic

6. Challenges and Initial Approaches
Philipp Niemann, Robert Wille

7. Synthesis of Quantum Circuits
Philipp Niemann, Robert Wille

8. Correctness of Multiple-Valued Implementations
Philipp Niemann, Robert Wille

9. Discussion and Outlook
Philipp Niemann, Robert Wille

Avainsanat: Physics, Quantum Information Technology, Spintronics, Symbolic and Algebraic Manipulation, Quantum Computing, Quantum Physics