ACM计算逻辑汇刊,第20卷
第20卷第1期,2019年2月
阿尔伯特·阿塞里亚斯 , 乔安娜·奥奇里米亚克 :
证明复杂性符合代数。 1:1-1:46 莱昂纳多·曼纽尔·卡布勒 , 本杰明·弗莱斯伯格 , 乔治·梅特卡夫 , 希拉里·普里斯特利 :
使用自然二重性检查可接受性。 2:1-2:19 杰里·阿达梅克 , 斯特凡·米利乌斯 , 罗伯特·S·R·迈尔斯 , Henning Urbat公司 :
广义艾伦伯格定理:一类语言的多样性。 3:1-3:47 劳拉·博泽利 , 阿尔贝托·莫利纳里 , 安吉洛·蒙塔纳里 , 阿德里亚诺·佩隆 , 彼得罗·萨拉 :
区间与点时间逻辑模型检查:表达性比较。 4:1-4:31 乔治·奥德里托 , 米尔科·维罗利 , 费鲁西奥·达米亚尼 , 达尼洛·皮亚尼尼 , 雅各布·比尔 :
计算域的高阶微积分。 5:1-5:55 吉姆·E·牛顿 , 迪迪埃·维纳 :
降阶二元决策图最坏情况尺寸的理论和数值分析。 6:1-6:36
第20卷第2期,2019年4月
比约恩·勒尔曼 , 伊莱恩·皮门特尔 :
正常和非正常模态的序列演算模块化。 7:1-7:46 米查尔·罗纳 :
保守约束语言最小推理问题的复杂性。 8:1-8:35 奥列格·维尔比茨基 , 马克西姆·朱可夫斯基 :
子图同构的渐近描述性复杂性的紧界。 9:1-9:18 尼尔斯欺负 , 沃伊西奇·贾姆罗加 , 马泰·波波维奇 :
关于战略能力的推理:具有真正完美召回的代理。 10:1-10:46 卡林·夸斯 , 马赫萨·希尔穆罕默德 :
为注册自动机同步数据字。 11:1-11:27 尼古拉·利昂 , 马可·曼纳 , 乔治·特拉西纳 , 皮尔弗朗西斯科·维尔特里 :
存在规则的快速查询答案。 12:1-12:48
第20卷第3期,2019年7月
奥里·拉哈夫 , 约尼·佐哈尔 :
纯序贯演算:分析和决策程序。 13:1-13:38 洛伦佐·克莱门特 , 斯拉沃米尔·拉索塔 , 兰科·拉齐奇 , 菲利普·马佐维耶基 :
时间寄存器下推自动机和分支向量加法系统的二进制可达性。 14:1-14:31 尼哈·洛达 , 塞巴斯蒂安·奥德尼亚克 , 斯特凡·塞德尔 :
分支宽度的SAT方法。 15:1-15:24 亚历克斯·P·克林哈默 , 阿里·埃布内纳西尔 :
参数化环上Livelock自由与自稳定的验证。 16:1-16:36 杰雷米·查洛平 , 维克托·切波伊 :
1-安全Petri网和特殊立方体复合体:等价性和应用。 17:1-17:49 盖塔诺·盖克 , 巴斯·凯茨曼 , 弗兰克·内文 , 托马斯·施温蒂克 :
带并集和取反的联合查询的并行正确性和包含性。 18:1-18:24
第20卷第4期,2019年9月
卢卡·博托鲁西 , 鲁卡·凯德利 , 玛尔塔·奎亚特科夫斯卡 , 卢卡·劳伦蒂 :
中央限额模型检查。 19:1-19:35 巴哈尔·阿梅里 , 迈克尔·格里宁格 :
活动组合变化的表示定理。 20:1-20:31 黄晓伟 , 玛尔塔·奎亚特科夫斯卡 , 马西耶·奥列尼克 :
随机多智能体系统中认知信任的推理。 21:1-21:64 罗斯·霍恩 , Alwen Tiu先生 , 博格丹·阿曼 , 加布里埃尔·乔巴努 :
非交换逻辑中私有名称建模的德摩根双重名义量词。 22:1-22:44 科劳迪亚·纳隆 , 克莱尔·狄克逊 , 乌尔里希·赫斯塔特 :
模态分辨率:验证、分层和优化。 23:1-23:38 威廉·康雷迪 , 萨宾·弗里特拉 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐穆利斯 , 纳乔姆·维恩伯格 :
代数上的概率认知更新。 24:1-24:75 克里斯蒂娜·博拉莱拉斯 , 丹尼尔·拉拉兹 , 恩里克·罗德里格斯-卡博内尔 , 阿尔伯特·奥利弗拉斯 , 阿尔伯特·鲁比奥 :
求解整数上非线性公式的不完全SMT技术。 25:1-25:36