|
|
|
|
LEADER |
07950cam a22015972 4500 |
001 |
0-1652327908 |
003 |
DE-627 |
005 |
20240122104936.0 |
007 |
cr uuu---uuuuu |
008 |
130503s2013 gw |||||o 00| ||eng c |
020 |
|
|
|a 9783642381645
|9 978-3-642-38164-5
|
024 |
7 |
|
|a 10.1007/978-3-642-38164-5
|2 doi
|
035 |
|
|
|a (DE-627)1652327908
|
035 |
|
|
|a (DE-576)381844838
|
035 |
|
|
|a (DE-599)BSZ381844838
|
035 |
|
|
|a (OCoLC)846969245
|
035 |
|
|
|a (ZBM)1263.68015
|
035 |
|
|
|a (ZBM)1263.68015
|
035 |
|
|
|a (DE-He213)978-3-642-38164-5
|
035 |
|
|
|a (EBP)040548228
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE
|c XA-DE-BE
|
050 |
|
0 |
|a QA76.9.L63
|a QA76.5913
|a QA76.63
|
050 |
|
0 |
|a QA76.9.L63
|
050 |
|
0 |
|a QA76.5913
|
050 |
|
0 |
|a QA76.63
|
072 |
|
7 |
|a UM
|2 bicssc
|
072 |
|
7 |
|a UYF
|2 bicssc
|
072 |
|
7 |
|a COM036000
|2 bisacsh
|
072 |
|
7 |
|a COM051000
|2 bisacsh
|
072 |
|
7 |
|a UYA
|2 bicssc
|
084 |
|
|
|a SS 4800
|q SEPA
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a *68-06
|2 msc
|
084 |
|
|
|a 03B70
|2 msc
|
084 |
|
|
|a 68Q05
|2 msc
|
084 |
|
|
|a 81P10
|2 msc
|
084 |
|
|
|a 91A80
|2 msc
|
084 |
|
|
|a 00B30
|2 msc
|
084 |
|
|
|a 54.10
|2 bkl
|
084 |
|
|
|a 33.23
|2 bkl
|
084 |
|
|
|a 31.80
|2 bkl
|
100 |
1 |
|
|a Coecke, Bob
|4 aut
|
245 |
1 |
0 |
|a Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
|b Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
|c edited by Bob Coecke, Luke Ong, Prakash Panangaden
|
264 |
|
1 |
|a Berlin, Heidelberg
|b Springer
|c 2013
|
300 |
|
|
|a Online-Ressource (XX, 363 p. 26 illus, digital)
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture Notes in Computer Science
|v 7860
|
490 |
0 |
|
|a SpringerLink
|a Bücher
|
500 |
|
|
|a Literaturangaben
|
505 |
8 |
0 |
|a 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.
|
520 |
|
|
|a 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
|
650 |
|
0 |
|a Computer software
|
650 |
|
0 |
|a Logic design
|
650 |
|
0 |
|a Computer Science
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Computer software
|
650 |
|
0 |
|a Logic design
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Algorithms.
|
650 |
|
0 |
|a Machine theory.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
655 |
|
7 |
|a Konferenzschrift
|y 2013
|z Oxford
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
655 |
|
7 |
|a Konferenzschrift
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4196735-5
|0 (DE-627)105201693
|0 (DE-576)210109750
|a Theoretische Informatik
|2 gnd
|
689 |
0 |
1 |
|D s
|0 (DE-588)4036202-4
|0 (DE-627)106243772
|0 (DE-576)209017082
|a Logik
|2 gnd
|
689 |
0 |
2 |
|D s
|0 (DE-588)4056243-8
|0 (DE-627)106155296
|0 (DE-576)209117079
|a Spieltheorie
|2 gnd
|
689 |
0 |
3 |
|D s
|0 (DE-588)4138368-0
|0 (DE-627)105643211
|0 (DE-576)209685441
|a Berechenbarkeit
|2 gnd
|
689 |
0 |
4 |
|D s
|0 (DE-588)4533372-5
|0 (DE-627)265683483
|0 (DE-576)213427613
|a Quantencomputer
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
700 |
1 |
|
|a Ong, Luke
|4 oth
|
700 |
1 |
|
|a Panangaden, Prakash
|d 1954-
|0 (DE-588)139823573
|0 (DE-627)703476092
|0 (DE-576)313422850
|4 oth
|
776 |
1 |
|
|z 9783642381638
|
776 |
0 |
8 |
|i Druckausg.
|t Computation, logic, games, and quantum foundations
|d Berlin : Springer, 2013
|h XX, 362 S
|w (DE-627)743782690
|w (DE-576)392375931
|z 3642381634
|z 9783642381638
|
830 |
|
0 |
|a Lecture notes in computer science
|v 7860
|9 7860
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-38164-5
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-38164-5
|x Resolving-System
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz381844838cov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20140212102419
|3 Cover
|
856 |
4 |
2 |
|u https://zbmath.org/?q=an:1263.68015
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
856 |
4 |
2 |
|u http://deposit.d-nb.de/cgi-bin/dokserv?id=4297162&prov=M&dok_var=1&dok_ext=htm
|m X: MVB
|q text/html
|v 2013-05-01
|x Verlag
|3 Inhaltstext
|
889 |
|
|
|w (DE-627)745003702
|
912 |
|
|
|a ZDB-2-LNC
|b 2013
|
912 |
|
|
|a ZDB-2-SCS
|b 2013
|
912 |
|
|
|a ZDB-2-SEB
|
912 |
|
|
|a ZDB-2-SXCS
|b 2013
|
912 |
|
|
|a ZDB-2-SEB
|b 2013
|
935 |
|
|
|h GBV
|i ExPruef
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
b |
k |
|a 54.10
|j Theoretische Informatik
|q SEPA
|0 (DE-627)106418815
|
936 |
b |
k |
|a 33.23
|j Quantenphysik
|q SEPA
|0 (DE-627)106407910
|
936 |
b |
k |
|a 31.80
|j Angewandte Mathematik
|q SEPA
|0 (DE-627)106419005
|
951 |
|
|
|a BO
|
900 |
|
|
|a Panangaden, P.
|
950 |
|
|
|a Informatik
|
950 |
|
|
|a Theorie
|
950 |
|
|
|a Rekursionstheorie
|
950 |
|
|
|a Berechnungstheorie
|
950 |
|
|
|a Game theory
|
950 |
|
|
|a Mathematisches Spiel
|
950 |
|
|
|a Игровая теория
|
950 |
|
|
|a Philosophische Logik
|
950 |
|
|
|a Handlungslogik
|
950 |
|
|
|a Äquivalenz
|
950 |
|
|
|a Formale Semantik
|
950 |
|
|
|a Logiker
|
950 |
|
|
|a 推理
|
950 |
|
|
|a 推论
|
950 |
|
|
|a 逻辑
|
950 |
|
|
|a 推論
|
950 |
|
|
|a 邏輯
|
950 |
|
|
|a Логика
|
950 |
|
|
|a Quantenrechner
|
950 |
|
|
|a Quantum computer
|
950 |
|
|
|a Quantum computing
|
950 |
|
|
|a Computer
|
950 |
|
|
|a Quantentechnologie
|
950 |
|
|
|a Nanoelektronik
|
950 |
|
|
|a 量子计算器
|
950 |
|
|
|a 量子計算機
|
950 |
|
|
|a Квантовый компьютер
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-38164-5
|9 DE-14
|
852 |
|
|
|a DE-14
|x epn:3359548922
|z 2013-05-03T09:23:52Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-38164-5
|9 DE-15
|
852 |
|
|
|a DE-15
|x epn:3359548957
|z 2013-05-03T09:23:52Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-38164-5
|9 DE-Ch1
|
852 |
|
|
|a DE-Ch1
|x epn:335954899X
|z 2013-05-03T09:23:52Z
|
976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-38164-5
|z Zum Online-Dokument
|9 DE-Zi4
|
852 |
|
|
|a DE-Zi4
|x epn:3359549023
|z 2013-05-03T09:23:52Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-38164-5
|9 DE-520
|
852 |
|
|
|a DE-520
|x epn:3359549058
|z 2013-05-03T09:23:52Z
|
980 |
|
|
|a 1652327908
|b 0
|k 1652327908
|o 381844838
|
SOLR
_version_ |
1792258605424050176 |
access_facet |
Electronic Resources |
author |
Coecke, Bob |
author2 |
Ong, Luke, Panangaden, Prakash |
author2_role |
oth, oth |
author2_variant |
l o lo, p p pp |
author_facet |
Coecke, Bob, Ong, Luke, Panangaden, Prakash |
author_role |
aut |
author_sort |
Coecke, Bob |
author_variant |
b c bc |
callnumber-first |
Q - Science |
callnumber-label |
QA76 |
callnumber-raw |
QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63 |
callnumber-search |
QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63 |
callnumber-sort |
QA 276.9 L63 Q A76 45913 Q A76 263 |
callnumber-subject |
QA - Mathematics |
collection |
ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS |
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., 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 |
ctrlnum |
(DE-627)1652327908, (DE-576)381844838, (DE-599)BSZ381844838, (OCoLC)846969245, (ZBM)1263.68015, (DE-He213)978-3-642-38164-5, (EBP)040548228 |
de15_date |
2013-05-03T09:23:52Z |
dech1_date |
2013-05-03T09:23:52Z |
doi_str_mv |
10.1007/978-3-642-38164-5 |
era_facet |
2013 |
facet_912a |
ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS |
facet_avail |
Online |
facet_local_del330 |
Theoretische Informatik, Logik, Spieltheorie, Berechenbarkeit, Quantencomputer |
finc_class_facet |
Informatik, Mathematik |
fincclass_txtF_mv |
science-computerscience, science-physics, science-mathematics |
footnote |
Literaturangaben |
format |
eBook, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de105 |
Ebook |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-online-monograph-independent |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
ElectronicBook |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
E-Book |
genre |
Konferenzschrift 2013 Oxford (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Oxford |
hierarchy_parent_id |
0-316228877 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
7860 |
hierarchy_top_id |
0-316228877 |
hierarchy_top_title |
Lecture notes in computer science |
id |
0-1652327908 |
illustrated |
Not Illustrated |
imprint |
Berlin, Heidelberg, Springer, 2013 |
imprint_str_mv |
Berlin, Heidelberg: Springer, 2013 |
institution |
DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15 |
is_hierarchy_id |
0-1652327908 |
is_hierarchy_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 |
isbn |
9783642381645 |
isbn_isn_mv |
9783642381638, 3642381634 |
issn_isn_mv |
1611-3349 |
kxp_id_str |
1652327908 |
language |
English |
last_indexed |
2024-02-29T18:23:18.109Z |
local_heading_facet_dezwi2 |
Computer software, Logic design, Computer Science, Computer science, Software engineering, Algorithms., Machine theory., Compilers (Computer programs)., Theoretische Informatik, Logik, Spieltheorie, Berechenbarkeit, Quantencomputer |
marc024a_ct_mv |
10.1007/978-3-642-38164-5 |
match_str |
coecke2013computationlogicgamesandquantumfoundationsthemanyfacetsofsamsonabramskyessaysdedicatedtosamsonabramskyontheoccasionofhis60thbirthday |
mega_collection |
Verbunddaten SWB |
multipart_link |
093890923 |
multipart_part |
(093890923)7860 |
names_id_str_mv |
(DE-588)139823573, (DE-627)703476092, (DE-576)313422850 |
oclc_num |
846969245 |
physical |
Online-Ressource (XX, 363 p. 26 illus, digital) |
publishDate |
2013 |
publishDateSort |
2013 |
publishPlace |
Berlin, Heidelberg |
publisher |
Springer |
record_format |
marcfinc |
record_id |
381844838 |
recordtype |
marcfinc |
rsn_id_str_mv |
(DE-15)3218862 |
rvk_facet |
SS 4800 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
series |
Lecture notes in computer science, 7860 |
series2 |
Lecture Notes in Computer Science ; 7860, SpringerLink ; Bücher |
source_id |
0 |
spelling |
Coecke, Bob aut, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday edited by Bob Coecke, Luke Ong, Prakash Panangaden, Berlin, Heidelberg Springer 2013, Online-Ressource (XX, 363 p. 26 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7860, SpringerLink Bücher, Literaturangaben, 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., 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, Computer software, Logic design, Computer Science, Computer science, Software engineering, Algorithms., Machine theory., Compilers (Computer programs)., Konferenzschrift 2013 Oxford (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4196735-5 (DE-627)105201693 (DE-576)210109750 Theoretische Informatik gnd, s (DE-588)4036202-4 (DE-627)106243772 (DE-576)209017082 Logik gnd, s (DE-588)4056243-8 (DE-627)106155296 (DE-576)209117079 Spieltheorie gnd, s (DE-588)4138368-0 (DE-627)105643211 (DE-576)209685441 Berechenbarkeit gnd, s (DE-588)4533372-5 (DE-627)265683483 (DE-576)213427613 Quantencomputer gnd, DE-101, Ong, Luke oth, Panangaden, Prakash 1954- (DE-588)139823573 (DE-627)703476092 (DE-576)313422850 oth, 9783642381638, Druckausg. Computation, logic, games, and quantum foundations Berlin : Springer, 2013 XX, 362 S (DE-627)743782690 (DE-576)392375931 3642381634 9783642381638, Lecture notes in computer science 7860 7860 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-38164-5 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-38164-5 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz381844838cov.jpg V:DE-576 X:springer image/jpeg 20140212102419 Cover, https://zbmath.org/?q=an:1263.68015 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4297162&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)745003702, http://dx.doi.org/10.1007/978-3-642-38164-5 DE-14, DE-14 epn:3359548922 2013-05-03T09:23:52Z, http://dx.doi.org/10.1007/978-3-642-38164-5 DE-15, DE-15 epn:3359548957 2013-05-03T09:23:52Z, http://dx.doi.org/10.1007/978-3-642-38164-5 DE-Ch1, DE-Ch1 epn:335954899X 2013-05-03T09:23:52Z, http://dx.doi.org/10.1007/978-3-642-38164-5 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3359549023 2013-05-03T09:23:52Z, http://dx.doi.org/10.1007/978-3-642-38164-5 DE-520, DE-520 epn:3359549058 2013-05-03T09:23:52Z |
spellingShingle |
Coecke, Bob, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday, Lecture notes in computer science, 7860, 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., 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, Computer software, Logic design, Computer Science, Computer science, Software engineering, Algorithms., Machine theory., Compilers (Computer programs)., Konferenzschrift 2013 Oxford, Konferenzschrift, Theoretische Informatik, Logik, Spieltheorie, Berechenbarkeit, Quantencomputer |
swb_id_str |
381844838 |
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 |
title_auth |
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_full |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday edited by Bob Coecke, Luke Ong, Prakash Panangaden |
title_fullStr |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday edited by Bob Coecke, Luke Ong, Prakash Panangaden |
title_full_unstemmed |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday edited by Bob Coecke, Luke Ong, Prakash Panangaden |
title_in_hierarchy |
7860. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday (2013) |
title_short |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky |
title_sort |
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_sub |
Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday |
title_unstemmed |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday |
topic |
Computer software, Logic design, Computer Science, Computer science, Software engineering, Algorithms., Machine theory., Compilers (Computer programs)., Konferenzschrift 2013 Oxford, Konferenzschrift, Theoretische Informatik, Logik, Spieltheorie, Berechenbarkeit, Quantencomputer |
topic_facet |
Computer software, Logic design, Computer Science, Computer science, Software engineering, Algorithms., Machine theory., Compilers (Computer programs)., Konferenzschrift, Theoretische Informatik, Logik, Spieltheorie, Berechenbarkeit, Quantencomputer |
url |
https://doi.org/10.1007/978-3-642-38164-5, http://dx.doi.org/10.1007/978-3-642-38164-5, https://swbplus.bsz-bw.de/bsz381844838cov.jpg, https://zbmath.org/?q=an:1263.68015, http://deposit.d-nb.de/cgi-bin/dokserv?id=4297162&prov=M&dok_var=1&dok_ext=htm |