View in EDS PDF Full Text

Semantic Techniques in Quantum Computation

Saved in:
Bibliographic Details
Title: Semantic Techniques in Quantum Computation
Description: The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book 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. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation.
Authors: Simon Gay, Ian Mackie
Resource Type: eBook.
Subjects: Quantum theory, Programming languages (Electronic computers)--Semantics, Quantum computers
Categories: COMPUTERS / Hardware / Mainframes & Minicomputers
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 304444
RelevancyScore: 1031
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1031.17456054688
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$304444$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$304444$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Semantic Techniques in Quantum Computation
– Name: Abstract
  Label: Description
  Group: Ab
  Data: The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book 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. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Simon+Gay%22">Simon Gay</searchLink><br /><searchLink fieldCode="AR" term="%22Ian+Mackie%22">Ian Mackie</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Quantum+theory%22">Quantum theory</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29--Semantics%22">Programming languages (Electronic computers)--Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Quantum+computers%22">Quantum computers</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Hardware+%2F+Mainframes+%26+Minicomputers%22">COMPUTERS / Hardware / Mainframes & Minicomputers</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=304444
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.1
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Quantum theory
        Type: general
      – SubjectFull: Programming languages (Electronic computers)--Semantics
        Type: general
      – SubjectFull: Quantum computers
        Type: general
    Titles:
      – TitleFull: Semantic Techniques in Quantum Computation
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Simon Gay
      – PersonEntity:
          Name:
            NameFull: Ian Mackie
      – PersonEntity:
          Name:
            NameFull: Simon Gay
      – PersonEntity:
          Name:
            NameFull: Ian Mackie
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2010
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9780521513746
            – Type: isbn-electronic
              Value: 9780511658648
          Titles:
            – TitleFull: Semantic Techniques in Quantum Computation
              Type: main
ResultId 1