Consistency, Acyclicity, and Positive Semirings

Author:

Atserias Albert,Kolaitis Phokion G.

Publisher

Springer International Publishing

Reference35 articles.

1. Abramsky, S., & Brandenburger, A. (2011). A unified sheaf-theoretic account of non-locality and contextuality. arXiv:1102.0264

2. Atserias, A., Bulatov, A. A., & Dawar, A. (2009). Affine systems of equations and counting infinitary logic. Theoretical Computer Science, 410(18), 1666–1683.

3. Abramsky, S., Barbosa, R. S., Kishida, K., Lal, R., & Mansfield, S. (2015). Contextuality, cohomology and paradox. In S. Kreutzer (Ed.), 24th EACSL annual conference on computer science logic, CSL 2015, September 7–10, 2015, Berlin, Germany. LIPIcs (Vol. 41, pp. 211–228). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

4. Abramsky, S. (2013). Relational databases and Bell’s theorem. In V. Tannen, L. Wong, L. Libkin, W. Fan, W.-C. Tan, & M. P. Fourman (Eds.), Search of elegance in the theory and practice of computation - Essays dedicated to Peter Buneman. Lecture notes in computer science (Vol. 8000, pp. 13–35). Berlin: Springer.

5. Abramsky, S. (2014). Contextual semantics: From quantum mechanics to logic, databases, constraints, and complexity. Bulletin of the EATCS, 113.

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3