Semantic Techniques in Quantum Computation

Boken "Semantiska Tekniker inom Kvantberäkning" utforskar kvantberäkning utifrån grenen av teoretisk datavetenskap som kallas semantik, som ett alternativ till de mer välkända studierna om algoritmer, komplexitetsteori och informationsteori. Genom att samla kapitel från ledande forskare på området diskuteras teorin bakom kvantprogrammeringsspråk, logiker och verktyg för resonemang om kvantsystem samt nya ansatser till grunderna i kvantmekaniken. Denna bok riktar sig till doktorander och forskare inom kvantinformation och beräkning samt de inom semantik som vill lära sig om ett nytt fält som uppstått genom tillämpningen av semantiska tekniker på kvantinformation och -beräkning.