FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
From Kochen-Specker to Feder-Vardi

Author: Samson Abramsky

Paper Information

Title:From Kochen-Specker to Feder-Vardi
Authors:Samson Abramsky
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:constraint satisfaction, k-consistency, Weisfeiler-Leman, finite-variable logics, sheaves and cohomology, contextuality, quantum mechanics
Pages:1
Talk:Aug 01 11:35 (Session 32)
Paper: