Semantic Techniques in Quantum Computation Hardback - Hardcover

Gay; Mackie

 
9780521513746: Semantic Techniques in Quantum Computation Hardback

Inhaltsangabe

This book is a collection of work from leading researchers that explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Simon Gay is a Senior Lecturer in the Department of Computing Science at the University of Glasgow. Prior to taking his current position, he worked as a research associate at Imperial College London, where he also earned his PhD in computer science, and as a lecturer at Royal Holloway, University of London.

Ian Mackie earned his MSc and PhD degrees in computer science at Imperial College London. He is editor-in-chief of an undergraduate textbook series and co-author of an advanced textbook on proof theory and automated deduction.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.