CONTEXTUAL SEMANTICS: FROM QUANTUM MECHANICS TO LOGIC, DATABASES, CONSTRAINTS, AND COMPLEXITY

被引：0

作者：

Gurevich, Yuri ^{[1
]}

Abramsky, Samson ^{[2
]}

机构：

[1] Microsoft Res, One Microsoft Way, Redmond, WA 98052 USA

[2] Univ Oxford, Dept Comp Sci, Oxford, England

来源：

BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2014年 / 113期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We discuss quantum non-locality and contextuality, emphasising logical and structural aspects. We also show how the same mathematical structures arise in various areas of classical computation.

引用

页码：137 / 163

页数：27