ACM计算逻辑汇刊,第16卷
第16卷第1期,2014年9月/2015年3月
舒拉米特·哈拉米什 , 奥尔娜·库普夫曼 :
最小化确定性格自动机。 1:1-1:21 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 :
概率分布转移系统上行为关系的逻辑特征。 2:1-2:24 贾涛 , 乔拉·斯卢茨基 , 瓦桑特·霍纳瓦尔 :
知识库中保密推理的概念框架。 3:1-3:32 曼努埃尔·比斯卡亚 , 大卫·亨利克斯 , 保罗·马特乌斯 :
近似Skolem问题的可判定性及其在马尔可夫链动态性质逻辑验证中的应用。 4:1-4:17 阿加塔·恰巴托尼 , 奥里·拉哈夫 , 劳拉·斯彭迪尔 , 安娜·扎曼斯基 :
驯服次一致(和其他)逻辑:一种算法方法。 5:1-5:23 盖伊·阿夫尼 , 奥尔娜·库普夫曼 :
参数化加权包容。 6:1-6:25 加列·丰丹 :
为什么很难获得一致查询答案的二分法? 7:1-7:24 马洛·法拉利 , 卡米洛·佛罗伦萨 , 吉多·菲奥里诺 :
G3i的评估驱动决策程序。 8点-8分37秒 斯特凡·格勒 , 让·克里斯托夫·荣格 , 马库斯·洛伊 :
分解模态和一阶理论的复杂性。 9:1-9:43
第16卷第2期,2015年3月
雅各布·格鲁·西蒙森 :
没有可计算的一步规范化策略的合流重写系统。 10:1-10:9 Anastasios Skarlatidis公司 , 乔治奥斯·帕柳拉斯 , 亚历山大·阿提基斯 , 乔治·沃罗斯 :
事件识别的概率事件演算。 11:1-11:37 罗伯托·塞巴斯蒂亚尼 , 西尔维娅·托马西 :
具有线性合理成本的优化模理论。 12:1-12:43 Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
正常高阶终止。 13:1-13:38 伯特伦·费尔根豪尔 , 阿尔特·米德尔多普 , 哈拉尔德·赞克 , 文森特·范·奥斯特罗姆 :
用于证明汇流的分层系统。 14:1-14:32 斯特凡·德姆里 , 摩根威慑集团 :
二元分离逻辑及其内圈。 15:1-15:36 皮埃尔·杰奈维斯 , 纳比尔·拉伊达 , 阿兰·施密特 , 尼尔斯·盖斯伯特 :
有限树上μ-演算的逆有效判定。 16:1-16:41 埃里克·科普钦斯基 , 陈庆炎 :
关于一阶谱的可变层次。 17:1-17:12 尼古拉·克劳斯 , 克里斯蒂安·萨特勒 :
单价宇宙层次中的高级同伦。 18:1-18:12
第16卷第3期,2015年7月
诺瓦克·诺瓦科维奇 , Lutz Stra汉堡 :
论结构微积分中代换的力量。 19:1-19:20 兰科·拉齐奇 , 西尔万·施密茨 :
分支VASS、MELL和扩展的非基本复杂性。 20:1-20:30 克里斯托夫·贝尔霍尔茨 , 安德烈亚斯·克雷布斯 , 奥列格·维尔比茨基 :
有限变量逻辑中量词深度的界限:交替层次。 21:1-21:26 贝蒂娜·法辛加 , 塞尔吉奥·弗莱斯卡 , 弗朗切斯科·帕里西 :
概率抽象论证框架的复杂性。 22:1-22:39 彼得·勒法努·朗斯丹 , 迈克尔·沃伦 :
局部宇宙模型:依赖型理论的被忽视的一致性构造。 23:1-23:31 Marijn鞋跟 , 斯特凡·塞德尔 :
针对Clique-Width的SAT方法。 24:1-24:27 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 :
关于子结构和游戏的推理。 25:1-25:51 安德烈亚·阿斯佩蒂 :
通过有限类型的计算复杂性。 26:1-26:25 克里斯托弗·汉普森 , 阿吉·库鲁茨 :
不确定命题双峰逻辑和带计数的一元一阶线性时序逻辑。 27分27秒36
第16卷第4期,2015年11月
Yuval Filmus公司 , 马西莫·劳里亚 , 姆拉登·米克萨 , 雅各布·诺德斯特伦 , 马克·维尼亚尔斯 :
分辨率从小空间到小宽度。 28:1-28:15 乔德·克兰恩 , 马西耶·加兹达 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
定点逻辑中的抽象。 29:1-29:39 Hitoshi Furusawa先生 , 乔治·斯特鲁斯 :
并发动态代数。 30:1-30:38 王哲(Zhe Wang) , 王克文(Kewen Wang) , 罗德尼·W·托珀 :
基于替代语义特征的DL-Lite本体修正。 31:1-31:37 丹尼尔·施瓦茨 :
动态推理系统。 32:1-32:42 恩里科·马尔基奥尼 , 迈克尔·伍尔德里奇 :
Łukasiewicz游戏:基于逻辑的定量战略互动方法。 33:1-33:44 奥利弗·弗里德曼 , 费利克斯·克莱特克 , 马丁·兰格 :
基于Ramsey的可视下推自动机包含检查。 34:1-34:24 西蒙·克莱默 :
直觉主义交互证明逻辑(完美知识转移的形式理论)。 35:1-35:32