How Quantum Computers Have Inspired Logical Investigations
by
Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini
Language: English
Release Date: December 10, 2018
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic...