ACM计算逻辑汇刊,第23卷
第23卷第1期,2022年1月
桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 1:1-1:31 费鲁西奥·吉迪 :
图解变量通用量化的形式系统。 2:1-2:37 阿诺德·杜兰德 , 朱哈·孔廷宁 , 尼古拉斯·德鲁格·阿尔特尔 , Jouko Väänänen :
团队语义中数据复杂性的可跟踪边界。 3:1-3:21 法比奥·加洛 , 杰拉尔多·西马里 , 玛丽亚·瓦妮娜·马丁内斯 , 纳塔莉亚·阿巴德·桑托斯 , 马塞洛·A·法拉帕 :
网络知识库中的局部信念动态。 4:1-4:36 吉尔斯·巴特 , 查理·贾科姆 , 史蒂夫·克莱默 :
有限域上概率程序的普遍等价性和多数性。 5:1-5:42 阿努杰·达瓦尔 , 格雷戈里·威尔塞纳赫 :
秩逻辑的对称电路。 6:1-6:35 曼纽尔·博德斯基 , 马塞洛·马米诺 , 卡特琳娜·维奥拉 :
分段线性值CSP可通过线性规划松弛求解。 7点-7分35秒
第23卷第2期,2022年4月
扎尼斯·阿内夫拉维斯 , 马修·菲利普 , 丹尼尔·奈德 , 保罗·塔布阿达 :
正确是不够的:使用鲁棒线性时序逻辑进行有效验证。 8:1-8:39 沙乌尔·阿尔马戈 , 德米特里·奇斯蒂科夫 , 乔尔·瓦克宁 , 詹姆斯·沃雷尔 :
离散时间动力系统的O-极小不变量。 9:1-9:20 菲利普·巴尔比亚尼 , 汉斯·范·迪特马什 , 萨尔·费尔南德斯·冈萨雷斯 :
异步公告。 10:1-10:38 克莱门斯·库普克 , 德克·帕丁森 , 卢茨·施罗德 :
算术模态逻辑中带全局假设的协同代数推理。 11:1-11:34 穆曼蒂吊舱 , 马克西姆·朱可夫斯基 :
量词深度有界的一阶存在句的零一定律。 12:1-12:27 埃里希·格拉德尔 , 理查德·威尔克 :
具有多团队语义的逻辑。 13:1-13:30
第23卷第3期,2022年7月
贝诺·拉罗泽 , 巴纳比·马丁 , 彼得·马科维奇 , 丹尼尔·保卢斯马 , 西亚尼·史密斯 , 斯坦尼斯拉夫·齐夫尼 :
反身锦标赛QCSP。 14:1-14:22 伊利亚·沙皮罗夫斯基 :
Kripke框架和的可满足性问题。 15:1-15:25 埃尔凡·哈尼基 :
关于多项式微积分分解的证明复杂性。 16:1-16:24 费多·弗明 , 彼得·戈洛维奇 , 迪米特里奥斯·M·蒂利科斯 :
一阶逻辑属性消元距离的参数化复杂性。 17:1-17:35 丹尼尔·格拉泽 , 埃文·卡瓦洛 , G.A.卡夫沃斯 , 阿德里安·瓜托 , 拉尔斯·比克达尔 :
模态和参数伴随。 18:1-18:29 袁峰 , 李三江 , 明生英 :
分布式量子程序的验证。 19:1-19:40 弗朗西斯科·达尼诺 :
大步语义的元理论。 20:1-20:50
第23卷第4期,2022年10月
塞巴斯蒂安·恩奎斯特 , 瓦伦丁·戈兰科 :
并发多人游戏中联合目标分配的时间逻辑。 21:1-21:58 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , 万·J·福克金 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 :
获得并行组合的有限公理化需要两个二元运算符吗? 22:1-22:56 陈金生 , 朱塞佩·格雷科 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 :
正确显示演算的句法完整性。 23:1-23:46 亚当·凯斯 , 克里斯托弗·波特 :
算法随机闭集与有效维数的交集。 24:1-24:19 Jason Z.S.Hu(贾森·Z·S·胡) , 布里吉特·皮恩特卡 , 乌尔里希·舍普 :
语境类型的范畴理论观点:从简单类型到从属类型。 25:1-25:36 克里斯·巴雷特 , 阿莱西奥·古列尔米 :
决策树的亚原子证明系统。 26分26秒25 西蒙·多尔蒂 , 萨代赫·达尔瓦迪 , 布里杰什·多戈尔 , 海克·韦尔海姆 :
统一操作性弱记忆验证:公理方法。 27:1-27:39