The Resource Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
Resource Information
The item Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 2830, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics
 Language
 eng
 Extent
 1 online resource (xx, 362 pages)
 Contents

 Use of a Canonical HiddenVariable Space in Quantum Mechanics
 Imperfect Information in Logic and Concurrent Games
 Compositional Quantum Logic
 The Algebra of Directed Acyclic Graphs
 Diagrammatic Reasoning for DelayInsensitive Asynchronous Circuits
 Payoffs, Intensionality and Abstraction in Games
 On the Theory of Composition in Physics
 On the Functor 2
 Quantum Speedup and Categorical Distributivity
 Unifying Semantics for Concurrent Programming
 Unfixing the Fixpoint: The Theories of the?Y Calculus
 Continuous Domain Theory in Logical Form
 Presheaf Models of Quantum Computation: An Outline
 Nothing Can Be Fixed
 Dialogue Categories and Frobenius Monoids
 Anatomy of a Domain of Continuous Random Variables II
 Towards Nominal Abramsky
 Techniques for Formal Modelling and Analysis of Quantum Systems
 Quantum Field Theory for Legspinners
 Bicompletions of Distance Matrices
 Partial Recursive Functions and Finality
 Breaking the Atom with Samson
 Reasoning about Strategies
 Domain Theory in Topical Form
 Kolmogorov Complexity of Categories
 Isbn
 9783642381645
 Label
 Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
 Title
 Computation, logic, games, and quantum foundations
 Title remainder
 the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
 Statement of responsibility
 Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
 Subject

 Abramsky, Samson, 1953
 Algorithm Analysis and Problem Complexity
 Algorithm Analysis and Problem Complexity.
 Computation by Abstract Devices
 Computation by Abstract Devices.
 Computer Science
 Computer logic
 Computer logic
 Computer logic
 Computer science
 Computer science
 Computer science
 Computer science.
 Computer software
 Computer software
 Computer software.
 Engineering & Applied Sciences
 Game Theory
 Game theory
 Game theory
 Game theory
 Logic
 Logic design.
 Logics and Meanings of Programs
 Logics and Meanings of Programs.
 Mathematical Logic and Formal Languages
 Mathematical Logic and Formal Languages.
 Programming Languages, Compilers, Interpreters
 Programming Languages, Compilers, Interpreters.
 Software
 Software Engineering
 Software engineering.
 Language
 eng
 Summary
 This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 2830, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics
 Cataloging source
 GW5XE
 Dewey number
 004
 Illustrations
 illustrations
 Index
 index present
 Language note
 English
 LC call number
 QA76
 LC item number
 .C66 2013
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName

 Coecke, Bob
 Ong, Luke
 Panangaden, P.
 Series statement

 Lecture notes in computer science,
 Festschrift
 LNCS sublibrary. SL 1, Theoretical computer science and general issues
 Series volume
 7860.
 http://library.link/vocab/subjectName

 Abramsky, Samson
 Computer science
 Computer logic
 Game theory
 Abramsky, Samson
 Game Theory
 Logic
 Software
 Computer Science
 Logics and Meanings of Programs
 Computation by Abstract Devices
 Mathematical Logic and Formal Languages
 Algorithm Analysis and Problem Complexity
 Software Engineering
 Programming Languages, Compilers, Interpreters
 Engineering & Applied Sciences
 Computer Science
 Computer logic
 Computer science
 Game theory
 Label
 Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and author index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Use of a Canonical HiddenVariable Space in Quantum Mechanics  Imperfect Information in Logic and Concurrent Games  Compositional Quantum Logic  The Algebra of Directed Acyclic Graphs  Diagrammatic Reasoning for DelayInsensitive Asynchronous Circuits  Payoffs, Intensionality and Abstraction in Games  On the Theory of Composition in Physics  On the Functor 2  Quantum Speedup and Categorical Distributivity  Unifying Semantics for Concurrent Programming  Unfixing the Fixpoint: The Theories of the?Y Calculus  Continuous Domain Theory in Logical Form  Presheaf Models of Quantum Computation: An Outline  Nothing Can Be Fixed  Dialogue Categories and Frobenius Monoids  Anatomy of a Domain of Continuous Random Variables II  Towards Nominal Abramsky  Techniques for Formal Modelling and Analysis of Quantum Systems  Quantum Field Theory for Legspinners  Bicompletions of Distance Matrices  Partial Recursive Functions and Finality  Breaking the Atom with Samson  Reasoning about Strategies  Domain Theory in Topical Form  Kolmogorov Complexity of Categories
 Control code
 842137999
 Dimensions
 unknown
 Extent
 1 online resource (xx, 362 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642381645
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642381645
 Other physical details
 illustrations.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)842137999
 Label
 Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and author index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Use of a Canonical HiddenVariable Space in Quantum Mechanics  Imperfect Information in Logic and Concurrent Games  Compositional Quantum Logic  The Algebra of Directed Acyclic Graphs  Diagrammatic Reasoning for DelayInsensitive Asynchronous Circuits  Payoffs, Intensionality and Abstraction in Games  On the Theory of Composition in Physics  On the Functor 2  Quantum Speedup and Categorical Distributivity  Unifying Semantics for Concurrent Programming  Unfixing the Fixpoint: The Theories of the?Y Calculus  Continuous Domain Theory in Logical Form  Presheaf Models of Quantum Computation: An Outline  Nothing Can Be Fixed  Dialogue Categories and Frobenius Monoids  Anatomy of a Domain of Continuous Random Variables II  Towards Nominal Abramsky  Techniques for Formal Modelling and Analysis of Quantum Systems  Quantum Field Theory for Legspinners  Bicompletions of Distance Matrices  Partial Recursive Functions and Finality  Breaking the Atom with Samson  Reasoning about Strategies  Domain Theory in Topical Form  Kolmogorov Complexity of Categories
 Control code
 842137999
 Dimensions
 unknown
 Extent
 1 online resource (xx, 362 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642381645
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642381645
 Other physical details
 illustrations.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)842137999
Subject
 Abramsky, Samson, 1953
 Algorithm Analysis and Problem Complexity
 Algorithm Analysis and Problem Complexity.
 Computation by Abstract Devices
 Computation by Abstract Devices.
 Computer Science
 Computer logic
 Computer logic
 Computer logic
 Computer science
 Computer science
 Computer science
 Computer science.
 Computer software
 Computer software
 Computer software.
 Engineering & Applied Sciences
 Game Theory
 Game theory
 Game theory
 Game theory
 Logic
 Logic design.
 Logics and Meanings of Programs
 Logics and Meanings of Programs.
 Mathematical Logic and Formal Languages
 Mathematical Logic and Formal Languages.
 Programming Languages, Compilers, Interpreters
 Programming Languages, Compilers, Interpreters.
 Software
 Software Engineering
 Software engineering.
Genre
Member of
 Lecture notes in computer science, Festschrift
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
 Lecture notes in computer science, 7860
 Lecture notes in computer science, 7860.
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computationlogicgamesandquantum/qoeSdAIo4nE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computationlogicgamesandquantum/qoeSdAIo4nE/">Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computationlogicgamesandquantum/qoeSdAIo4nE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computationlogicgamesandquantum/qoeSdAIo4nE/">Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday, Bob Coecke, Luke Ong, Prakash Panangaden (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>