×
鲍勃·科克（编辑）;卢克·翁（编辑）;帕南加登，普拉卡什（编辑）

计算、逻辑、游戏和量子基础。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。 （英语） Zbl 1263.68015号

计算机科学课堂讲稿7860.柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。第xx页，第363页。(2013).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章：
亚当·勃兰登伯格（Adam Brandenburger）；凯斯勒，H.杰罗姆，量子力学中正则隐变量空间的使用，1-6[兹比尔1264.81014]
Pierre Clairambault；朱利安·古铁雷斯（Julian Gutierrez）；温克尔，格林，逻辑和并发游戏中的不完全信息，7-20[Zbl 1264.91031号]
鲍勃·科克；克里斯·希恩；亚历克斯·基辛格，合成量子逻辑，21-36[Zbl 1264.03128号]
马塞洛·菲奥雷；德文萨·坎波斯（Devesas Campos，Marco），有向无环图的代数，37-51[Zbl 1264.18005号]
Dan R.吉卡。，延迟敏感异步电路的图解推理，52-68[Zbl 1264.94126号]
克里斯·汉金（Chris Hankin）；帕斯夸尔马拉卡里亚游戏中的回报、内涵和抽象，69-82[Zbl 1264.91034号]
露西恩·哈迪，《物理学中的合成理论》，83-106[Zbl 1264.00035号]
克里斯·希恩，关于函子\（\ell^{2}\），107-121[兹比尔1264.46014]
彼得·海恩斯，量子加速和范畴分配，122-138[Zbl 1264.68083号]
你好，托尼，统一并发编程语义，139-149[Zbl 1264.68042号]
Furio Honsell；玛丽娜·莱妮莎，解不动点：（lambda Y）-演算理论，150-165[Zbl 1264.68045号]
阿希姆·荣格，逻辑形式的连续域理论，166-177[Zbl 1264.68106号]
奥克塔维奥·马勒贝；菲利普·斯科特；彼得·塞林格《量子计算的前置模型：概述》，178-194年[兹比尔1264.81119]
凯·马丁，没有什么可以修复，195-196年[Zbl 1264.06010号]
保罗·安德烈·梅利埃，对话范畴和Frobenius monoids，197-224[Zbl 1264.18008号]
爱错了，迈克尔，连续随机变量域的剖析。二、 225-245岁[Zbl 1264.68108号]
安德烈·穆拉夫斯基（Andrzej S.Murawski）。；尼科斯·齐夫列科斯，朝向名义上的阿布拉姆斯基，246-263[Zbl 1264.68062号]
西蒙·盖伊（Simon J.Gay）。；拉贾戈帕尔·纳加拉扬，量子系统的形式化建模和分析技术，264-276[Zbl 1264.81073号]
帕南加登，普拉卡什，Legspinner的量子场论，277-290[Zbl 1264.81271号]
达斯科·巴甫洛维奇，距离矩阵的双完备，291-310[Zbl 1264.81088号]
戈登·普洛金，部分递归函数和终结性，311-326[Zbl 1264.03091号]
Väänänen，佐科，与萨姆森一起打破原子，327-335[Zbl 1264.03081号]
约翰·范·本特姆，战略推理，336-347[Zbl 1264.03052号]
诺森·S·亚诺夫斯基。，科尔莫戈洛夫类别复杂性，350-362[Zbl 1264.68090号]

引用于2文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
2005年第68季度 计算模型（图灵机等）（MSC2010）
第81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面）
91A80型 博弈论的应用
00B30型 费斯特施里夫滕

传记参考：

萨姆森·艾布拉姆斯基
PDF格式BibTeX公司 XML格式引用
\textit{B.Coecke}（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（2013；Zbl 1263.68015）
全文： 内政部