Home

WorldCat Home About WorldCat Help

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib
Export to EndNote / Reference Manager(non-Latin) Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/842137999 Title: Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday Author: Bob Coecke; Luke Ong; P Panangaden Publisher: Berlin ; New York : Springer, ©2013. ISBN/ISSN: 9783642381645 3642381642 3642381634 9783642381638 OCLC:842137999

Please verify that you are not a robot.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday

Preview this 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

Author:	Bob Coecke; Luke Ong; P Panangaden
Publisher:	Berlin ; New York : Springer, ©2013.
Series:	Lecture notes in computer science, 7860.; Lecture notes in computer science., Festschrift.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:	eBook : Document : Conference publication : EnglishView all editions and formats
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 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.
Rating:	(not yet rated) 0 with reviews - Be the first.
Subjects	Abramsky, Samson, -- 1953- Computer science. Computer logic. View all subjects
More like this	Similar Items

Borrow / obtain a copy

Find a copy online

Links to this item

Ebook Library

SpringerLink

Show all links

Find a copy in the library

Finding libraries that hold this item...

Details

Genre/Form:	Electronic books Computer software
Additional Physical Format:	Printed edition:
Named Person:	Samson Abramsky; Samson Abramsky
Material Type:	Conference publication, Document, Internet resource
Document Type:	Internet Resource, Computer File
All Authors / Contributors:	Bob Coecke; Luke Ong; P Panangaden Find more information about:
ISBN:	9783642381645 3642381642 3642381634 9783642381638
OCLC Number:	842137999
Description:	1 online resource (xx, 362 pages) : illustrations.
Contents:	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.
Series Title:	Lecture notes in computer science, 7860.; Lecture notes in computer science., Festschrift.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Responsibility:	Bob Coecke, Luke Ong, Prakash Panangaden (eds.).

Abstract:

Published in honor of the 60th birthday of Samson Abramsky, this book offers contributions by some of his colleagues, former students and friends, representing his manifold contributions to the Read more...

Reviews

User-contributed reviews

Linked Data

Primary Entity

Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://dewey.info/class/004/e23/>
a schema:Intangible ;
.

<http://dx.doi.org/10.1007/978-3-642-38164-5>
a schema:IndividualProduct ;
.

<http://experiment.worldcat.org/entity/work/data/1297549292#Agent/springer> # Springer
    a bgn:Agent ;
    schema:name "Springer" ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Place/berlin> # Berlin
    a schema:Place ;
    schema:name "Berlin" ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/842137999> ; # Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/842137999> ; # Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/842137999> ; # Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity.
    a schema:Thing ;
    schema:name "Algorithm Analysis and Problem Complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/computation_by_abstract_devices> # Computation by Abstract Devices.
    a schema:Thing ;
    schema:name "Computation by Abstract Devices." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/computer_software> # Computer software.
    a schema:Thing ;
    schema:name "Computer software." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/logic_design> # Logic design.
    a schema:Thing ;
    schema:name "Logic design." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Topic/game_theory> # Game Theory
    a schema:Intangible ;
    schema:name "Game Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Topic/logic> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1297549292#Topic/software> # Software
    a schema:Intangible ;
    schema:name "Software"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85052941> # Game theory
    a schema:Intangible ;
    schema:name "Game theory"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh97004631> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.loc.gov/vocabulary/countries/gw>
    a schema:Place ;
    dcterms:identifier "gw" ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/937501> # Game theory
    a schema:Intangible ;
    schema:name "Game theory"@en ;
    .

<http://viaf.org/viaf/109321899> # Samson Abramsky
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Abramsky" ;
    schema:givenName "Samson" ;
    schema:name "Samson Abramsky" ;
    .

<http://viaf.org/viaf/15084416> # Prakash Panangaden
    a schema:Person ;
    schema:familyName "Panangaden" ;
    schema:givenName "Prakash" ;
    schema:givenName "P." ;
    schema:name "Prakash Panangaden" ;
    .

<http://viaf.org/viaf/18449646> # Bob Coecke
    a schema:Person ;
    schema:familyName "Coecke" ;
    schema:givenName "Bob" ;
    schema:name "Bob Coecke" ;
    .

<http://viaf.org/viaf/19980231> # Luke Ong
    a schema:Person ;
    schema:familyName "Ong" ;
    schema:givenName "Luke" ;
    schema:name "Luke Ong" ;
    .

<http://worldcat.org/entity/work/data/1297549292#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/842137999> ; # Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
    .

<http://worldcat.org/isbn/9783642381638>
    a schema:ProductModel ;
    schema:isbn "3642381634" ;
    schema:isbn "9783642381638" ;
    .

<http://worldcat.org/isbn/9783642381645>
    a schema:ProductModel ;
    schema:isbn "3642381642" ;
    schema:isbn "9783642381645" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/842137999> ; # Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science, Festschrift" ;
    .

<http://www.worldcat.org/title/-/oclc/842137999>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/842137999> ; # Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
    schema:dateModified "2018-04-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/842137999#PublicationEvent/berlin_new_york_springer_2013>
    a schema:PublicationEvent ;
    schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:location <http://experiment.worldcat.org/entity/work/data/1297549292#Place/berlin> ; # Berlin
    schema:organizer <http://experiment.worldcat.org/entity/work/data/1297549292#Agent/springer> ; # Springer
    .

Content-negotiable representations

Turtle (text/turtle)
JSON-LD (application/ld+json)
RDF/XML (application/rdf+xml)
N-TRIPLES (text/plain)
HTML+RDFa (text/html)

Please sign in to WorldCat

Don't have an account? You can easily create a free account.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Search