跳至内容
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday 線上預覽
關閉線上預覽
正在查...

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; P Panangaden
出版商: Berlin ; New York : Springer, ©2013.
叢書: Lecture notes in computer science, 7860.; Lecture notes in computer science., Festschrift.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
版本/格式:   電子書 : 文獻 : 會議刊物 : 英語所有版本和格式的總覽
資料庫:WorldCat
提要:
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.
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在線上查詢

與資料的連結

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

類型/形式: Electronic books
提及的人: Samson Abramsky; Samson Abramsky
資料類型: 會議刊物, 文獻, 網際網路資源
文件類型: 網路資源, 電腦資料
所有的作者/貢獻者: Bob Coecke; Luke Ong; P Panangaden
ISBN: 9783642381645 3642381642 3642381634 9783642381638
OCLC系統控制編碼: 842137999
描述: 1 online resource (xx, 362 pages) : illustrations.
内容: 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 lamdaY -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.
叢書名: Lecture notes in computer science, 7860.; Lecture notes in computer science., Festschrift.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
責任: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).

摘要:

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  再讀一些...

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


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#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/18449646> ; # Bob Coecke
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1297549292#Person/panangaden_p_prakash> ; # Prakash Panangaden
    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://public.eblib.com/choice/PublicFullRecord.aspx?p=3093050> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-38164-5> ;
    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/panangaden_p_prakash> # Prakash Panangaden
    a schema:Person ;
    schema:familyName "Panangaden" ;
    schema:givenName "Prakash" ;
    schema:givenName "P." ;
    schema:name "Prakash Panangaden" ;
    .

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


Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.