عنوان
پدید آورنده
موضوع
رده
QA76 .B633 2013
QA76
.
B633
2013
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642381634
(Number (ISBN
3642381642
(Number (ISBN
9783642381638
(Number (ISBN
9783642381645
NATIONAL BIBLIOGRAPHY NUMBER
Number
b567956
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computation, logic, games, and quantum foundations :
General Material Designation
[Book]
Other Title Information
the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
First Statement of Responsibility
Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg
Name of Publisher, Distributor, etc.
Springer, [
Date of Publication, Distribution, etc.
2013]
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(1 recurs electrònic).
SERIES
Series Title
Lecture notes in computer science, 7860.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
GENERAL NOTES
Text of Note
Descripció del recurs: 16 de setembre de 2014.
CONTENTS NOTE
Text of Note
Use of a Canonical Hidden-Variable Space in Quantum Mechanics.- Imperfect Information in Logic and Concurrent Games.- Compositional Quantum Logic.- The Algebra of Directed Acyclic Graphs.- Diagrammatic Reasoning for Delay-Insensitive 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.
TOPICAL NAME USED AS SUBJECT
Abramsky, Samsom.
Jocs, Teoria de.
Lògica informàtica.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
Book number
.
B633
2013
PERSONAL NAME - PRIMARY RESPONSIBILITY
Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bob Coecke
Luke Ong
P Panangaden
Samson Abramsky
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
