Anuj Dawar等人：Lovász型定理和游戏Comonads。(2021) conf/lics/DawarJR21 10.1109/LICS52264.2021.9470609 Lovász型定理和游戏共鸣曲。 三 阿努杰·达瓦尔 1 托马斯·雅克 2 卢卡·雷吉奥 三 1月13日 许可证 许可证 2021 2021 dblp记录“conf/lics/DawarJR21”的RDF数据的来源信息 2024-04-23T14:12:25+0200