Philipp Niemann received a diploma degree in Mathematics and a Dr. rer. nat. degree in Computer Science from the University of Bremen, Germany, in 2012 and 2016, respectively. There, he worked in the Group for Computer Architecture under the supervision of Prof. Dr. Rolf Drechsler and Prof. Dr. Robert Wille. Recently, he joined the Cyber-Physical Systems (CPS) department at the German Research Center for Artificial Intelligence (DFKI). His research interests include the design of reversible and quantum circuits with a focus on decision diagrams as well as in the verification of formal models. Robert Wille is a full professor at the Johannes Kepler University Linz, Austria. He received diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. He worked with the Group for Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as a lecturer at the University of Applied Science in Bremen, and as a visiting professor at the University ofPotsdam and the Technical University Dresden, both in Germany. His research interests include the design of circuits and systems for both conventional and emerging technologies with a focus on the domain of synthesis and verification.

• Part I Introduction and Background.- 1 Introduction.- 2 Background.- Part II Representation of Quantum Functionality.- 3 Challenges and Initial Approaches.- 4 Quantum Multiple-Valued Decision Diagrams.- 5 Discussion and Outlook.- Part III Design of Quantum Logic.- 6 Challenges and Initial Approaches.- 7 Synthesis of Quantum Circuits.- 8 Correctness of Multiple-Valued Implementations.- 9 Discussion and Outlook.

“This book is in the area of quantum computer design. It proposes a new approach for such designs. It provides the background information required to understand the new approach. It also describes experimental results of the approach. … The book can be useful for research-level courses.” (Maulik A. Dave, Computing Reviews, June, 2018)​

Philipp Niemann received a diploma degree in Mathematics and a Dr. rer. nat. degree in Computer Science from the University of Bremen, Germany, in 2012 and 2016, respectively. There, he worked in the Group for Computer Architecture under the supervision of Prof. Dr. Rolf Drechsler and Prof. Dr. Robert Wille. Recently, he joined the Cyber-Physical Systems (CPS) department at the German Research Center for Artificial Intelligence (DFKI). His research interests include the design of reversible and quantum circuits with a focus on decision diagrams as well as in the verification of formal models. Robert Wille is a full professor at the Johannes Kepler University Linz, Austria. He received diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. He worked with the Group for Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as a lecturer at the University of Applied Science in Bremen, and as a visiting professor at the University ofPotsdam and the Technical University Dresden, both in Germany. His research interests include the design of circuits and systems for both conventional and emerging technologies with a focus on the domain of synthesis and verification.

• Part I Introduction and Background.- 1 Introduction.- 2 Background.- Part II Representation of Quantum Functionality.- 3 Challenges and Initial Approaches.- 4 Quantum Multiple-Valued Decision Diagrams.- 5 Discussion and Outlook.- Part III Design of Quantum Logic.- 6 Challenges and Initial Approaches.- 7 Synthesis of Quantum Circuits.- 8 Correctness of Multiple-Valued Implementations.- 9 Discussion and Outlook.

“This book is in the area of quantum computer design. It proposes a new approach for such designs. It provides the background information required to understand the new approach. It also describes experimental results of the approach. … The book can be useful for research-level courses.” (Maulik A. Dave, Computing Reviews, June, 2018)​

Philipp Niemann received a diploma degree in Mathematics and a Dr. rer. nat. degree in Computer Science from the University of Bremen, Germany, in 2012 and 2016, respectively. There, he worked in the Group for Computer Architecture under the supervision of Prof. Dr. Rolf Drechsler and Prof. Dr. Robert Wille. Recently, he joined the Cyber-Physical Systems (CPS) department at the German Research Center for Artificial Intelligence (DFKI). His research interests include the design of reversible and quantum circuits with a focus on decision diagrams as well as in the verification of formal models. Robert Wille is a full professor at the Johannes Kepler University Linz, Austria. He received diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. He worked with the Group for Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as a lecturer at the University of Applied Science in Bremen, and as a visiting professor at the University ofPotsdam and the Technical University Dresden, both in Germany. His research interests include the design of circuits and systems for both conventional and emerging technologies with a focus on the domain of synthesis and verification.

• Part I Introduction and Background.- 1 Introduction.- 2 Background.- Part II Representation of Quantum Functionality.- 3 Challenges and Initial Approaches.- 4 Quantum Multiple-Valued Decision Diagrams.- 5 Discussion and Outlook.- Part III Design of Quantum Logic.- 6 Challenges and Initial Approaches.- 7 Synthesis of Quantum Circuits.- 8 Correctness of Multiple-Valued Implementations.- 9 Discussion and Outlook.

“This book is in the area of quantum computer design. It proposes a new approach for such designs. It provides the background information required to understand the new approach. It also describes experimental results of the approach. … The book can be useful for research-level courses.” (Maulik A. Dave, Computing Reviews, June, 2018)​