aller au contenu
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

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

Auteur : Bob Coecke; Luke Ong; P Panangaden
Éditeur: Berlin ; New York : Springer, ©2013.
Collection: Lecture notes in computer science, 7860.; Lecture notes in computer science., Festschrift.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Édition/format:   Livre électronique : Document : Publication de conférence : AnglaisVoir toutes les éditions et tous les formats
Base de données:WorldCat
Résumé:
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.
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme: Electronic books
Personne nommée: Samson Abramsky; Samson Abramsky
Type d’ouvrage: Publication de conférence, Document, Ressource Internet
Type de document: Ressource Internet, Fichier d'ordinateur
Tous les auteurs / collaborateurs: Bob Coecke; Luke Ong; P Panangaden
ISBN: 9783642381645 3642381642 3642381634 9783642381638
Numéro OCLC: 842137999
Description: 1 online resource (xx, 362 pages) : illustrations.
Contenu: 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.
Titre de collection: Lecture notes in computer science, 7860.; Lecture notes in computer science., Festschrift.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Responsabilité: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).

Résumé:

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  Lire la suite...

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<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
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "842137999" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1297549292#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/logic_design> ; # Logic design.
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Topic/game_theory> ; # Game Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/computer_science> ; # Computer science.
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
   schema:about <http://id.loc.gov/authorities/subjects/sh97004631> ; # Computer logic
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Topic/software> ; # Software
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Topic/logic> ; # Logic
   schema:about <http://dewey.info/class/004/e23/> ;
   schema:about <http://id.worldcat.org/fast/937501> ; # Game theory
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/computer_software> ; # Computer software.
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/computation_by_abstract_devices> ; # Computation by Abstract Devices.
   schema:about <http://id.loc.gov/authorities/subjects/sh85052941> ; # Game theory
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Person/abramsky_samson_1953> ; # Samson Abramsky
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/software_engineering> ; # Software engineering.
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1297549292#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity.
   schema:about <http://viaf.org/viaf/109321899> ; # Samson Abramsky
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/19980231> ; # Luke Ong
   schema:contributor <http://viaf.org/viaf/15084416> ; # Prakash Panangaden
   schema:contributor <http://viaf.org/viaf/18449646> ; # Bob Coecke
   schema:copyrightYear "2013" ;
   schema:datePublished "2013" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1297549292> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1297549292#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <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
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1297549292#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
   schema:name "Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday"@en ;
   schema:productID "842137999" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/842137999#PublicationEvent/berlin_new_york_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1297549292#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-642-38164-5> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3093050> ;
   schema:workExample <http://worldcat.org/isbn/9783642381645> ;
   schema:workExample <http://worldcat.org/isbn/9783642381638> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/842137999> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1297549292#Person/abramsky_samson_1953> # Samson Abramsky
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Abramsky" ;
   schema:givenName "Samson" ;
   schema:name "Samson Abramsky" ;
    .

<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/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://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.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/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 "2017-07-08" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.