ACM计算逻辑汇刊,第19卷
第19卷第1期,2018年2月
奥拉夫·贝耶斯多夫 , Leroy Chew公司 , 米娜·马哈扬 , 阿尼尔·舒克拉 :
短校样窄吗? QBF解决方案是 不是 太简单了。 1:1-1:26 米卡·汉努拉 , 朱哈·孔廷宁 , 乔尼·维特马 , 赫里贝特·沃尔默 :
团队语义中命题逻辑的复杂性。 2:1-2:14 斯特芬·范·贝克尔 :
使用严格否定交集类型表征λμ的归一化特性。 3:1-3:47 卢茨·施罗德 , Yde Venema公司 :
平面余代数不动点逻辑的完备性。 4:1-4:34 安德烈亚·阿勒·塔贝拉 , 阿莱西奥·古列尔米 :
亚原子验证系统:可拆分系统。 5:1-5:33 埃利奥特·费尔威瑟 , 玛丽贝尔·费尔南德斯 :
键入标称重写。 6:1-6:46
第19卷第2期,2018年6月
维德·帕库萨 , 斯文娅·沙尔特霍夫(Svenja Schalthöfer) , 埃尔卡尔·塞尔曼 :
无选择多项式时间中Cai-Fürer-Immerman问题的可定义性。 7:1-7:27 伊曼纽尔·基伦斯基 , 丽迪娅·坦德拉 :
具有传递保护和相关变量的二元保护碎片的有限可满足性。 8:1-8:34 皮埃尔·莱斯坎 :
线性和仿射闭Lambda项的定量方面。 9:1-9:18 丹尼尔·奈德 , Shambwaditya Saha公司 , P.马都苏丹 :
通过学习分类器实现分段函数的合成。 10:1-10:23 阿加塔·恰巴托尼 , 弗朗西斯科·詹科 :
超序列和规则系统:嵌入和应用。 11:1-11:27 塞巴斯蒂安·宾纽伊斯 , 壮志强 , 王克文(Kewen Wang) , 贝拉·斯坦蒂克 :
语法-逻辑程序的保留信念更改运算符。 12:1-12:42 哲侯 , 拉纳德·克鲁斯顿 , 拉杰夫·戈尔 , Alwen Tiu先生 :
抽象分离逻辑的模块化标记序列演算。 13:1-13:35 弗兰克·内文 , 妮可·施韦卡特 , 弗雷德里克·塞尔维斯 , 陈庆炎 :
有限状态映射减少计算和关系代数查询。 14:1-14:37 本诺·范登伯格 :
路径类别和命题标识类型。 15:1-15:32
第19卷第3期,2018年9月
米卡·汉努拉 :
具有松散语义的包含逻辑中的层次结构。 16:1-16:23 瓦伦丁·戈兰科 , 安蒂·库西斯托 , 雷恩·伦霍姆 :
交替时间-时间逻辑的博弈论语义。 17:1-17:38 杜桑沟 :
哥德尔逻辑中的自动推导。 18:1-18:28 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 艾哈迈德·伊尔凡 , 马可·罗维里 , 罗伯托·塞巴斯蒂亚尼 :
非线性算术和超越函数可满足性和验证模的增量线性化。 19:1-19:52 圣埃芬·勒鲁 , 阿诺·保利 , 让-弗朗索瓦·拉斯金 :
闵可夫斯基运动会。 20:1-20:29 托马斯·塞勒 :
交互图:非确定性自动机。 21:1-21:24 丹尼尔·加尔 , 托姆·W·福吕维思 :
认知体系结构ACT-R的操作语义及其对约束处理规则的转换。 22:1-22:42 卡塔琳·迪马 , 巴斯蒂恩·莫伯特 , 苏菲·平奇纳特 :
过渡系统中的相关路径:模态Mu-Calculus的衰落。 23:1-23:33
第19卷第4期,2018年12月
弗洛里安·拉贝 :
一种模块化重建算法。 24:1-24:43 滨野正弘 :
通过Hughes-Van Glabbeek Proof-Nets实现MALL交互几何。 25:1-25:38 黄晓伟 , 罗恩·范德梅登 :
认识战略逻辑。 26:1-26:45 李永健 , 段开强 , 大卫·N·詹森 , 彭军(Jun Pang) , 张丽君 , 易律 , 蔡少伟 :
参数化验证的自动证明方法。 27:1-27:25 易卜拉欣·阿代希尔·拉里贾尼 , 西蒙·盖伊 , 拉贾戈帕尔·纳加拉扬 :
并发量子系统的自动等价性检查。 28:1-28:32 米查尔·加利克 , Leszek Aleksander Kolodziejczyk公司 :
具有奇偶性的常深Frege的一些子系统。 29:1-29:34 阿基尔·汗(Md.Aquil Khan) , Vineeta Singh Patel公司 :
一种用于多粒度粗糙集模型推理的简单模态逻辑。 30:1-30:23 埃尔维拉·阿尔伯特 , 杰苏斯·科里亚斯 , 艾纳·布罗赫·约翰森 , 紫罗兰Ka I Pun , 吉列尔莫·罗曼·迪兹 :
平行成本分析。 31:1-31:37