Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
1. No-cloning in categorical quantum mechanics Samson Abramsky; 2. Classical and quantum structuralism Bob Coecke Eric Oliver Paquette and Dusko Pavlovic; 3. Generalized proof-nets for compact categories with biproducts Ross Duncan; 4. The structure of partial isometries Peter Hines and Sam Braunstein; 5. Extended measurement calculus Vincent Danos Elham Kashefi Prakash Panangaden and Simon Perdrix; 6. Abstract interpretation techniques for quantum computation Philippe Jorrand and Simon Perdrix; 7. Predicate transformer semantics of quantum programs Mingsheng Ying Yuan Feng Runyao Duan and Zhengfeng Ji; 8. The quantum io monad Thorsten Altenkirch and Alexander Green; 9. Quantum lambda calculus Peter Selinger and Benöt Valiron; 10. Temporal logics for reasoning about quantum systems Paulo Mateus Jaime Ramos Am¿lcar Sernadas and Cristina Sernadas; 11. Specification and verification of quantum protocols Simon Gay Rajagopal Nagarajan and Nick Papanikolaou.
1. No-cloning in categorical quantum mechanics Samson Abramsky; 2. Classical and quantum structuralism Bob Coecke Eric Oliver Paquette and Dusko Pavlovic; 3. Generalized proof-nets for compact categories with biproducts Ross Duncan; 4. The structure of partial isometries Peter Hines and Sam Braunstein; 5. Extended measurement calculus Vincent Danos Elham Kashefi Prakash Panangaden and Simon Perdrix; 6. Abstract interpretation techniques for quantum computation Philippe Jorrand and Simon Perdrix; 7. Predicate transformer semantics of quantum programs Mingsheng Ying Yuan Feng Runyao Duan and Zhengfeng Ji; 8. The quantum io monad Thorsten Altenkirch and Alexander Green; 9. Quantum lambda calculus Peter Selinger and Benöt Valiron; 10. Temporal logics for reasoning about quantum systems Paulo Mateus Jaime Ramos Am¿lcar Sernadas and Cristina Sernadas; 11. Specification and verification of quantum protocols Simon Gay Rajagopal Nagarajan and Nick Papanikolaou.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
