ACM计算逻辑汇刊,第21卷
第21卷第1期,2020年1月
雷米·克雷蒂安 , Véronique Cortier公司 , 安托万·达隆 , 圣埃芬妮·德劳恩 :
在安全协议中键入免费消息。 1:1-1:52 格尔盖·巴纳 , 罗希特·查达 , 阿杰·库马尔·埃拉拉 , 冈田光弘 :
基于不可分辨性的计算完全符号攻击者的验证方法。 2:1-2:44 团房扇 , Churn Jung Liau先生 :
具有不确定信息的推理维护信念逻辑。 3点1-3分32秒 西尔维奥·吉拉尔迪 , 玛丽亚·若昂·古维亚 , 路易吉·桑托卡纳莱 :
直觉命题演算中的定点消除法。 4:1-4:37 大卫·A·巴思 , 费利克斯·克莱特克 , 尤根·扎利内斯库 :
无序流上的运行时验证。 5:1-5:43 本尼迪克特 , 皮埃尔·布赫斯 , 乔治·戈特洛布 , 皮埃尔·塞内拉特 :
一元数据日志、树有效性和有限访问控制。 6:1-6:45 劳里·海拉 , Antti Kuusisto公司 , 阿恩·迈尔 , 赫里贝特·沃尔默 :
模态包含逻辑的可满足性:松懈和严格语义。 7:1-7:18
第21卷第2期,2020年3月
奥拉夫·贝耶斯多夫 , 约书亚·布林霍恩 :
缩减和扩展中的动态QBF依赖性。 8:1-8:27 托马斯广场 , 马克·泽顿 :
添加后继:分离和覆盖的传递定理。 9:1-9:45 大卫·M·塞尔纳 , Temur Kutsia公司 :
无效的反统一。 10:1-10:32 科德·艾克迈耶 , 扬·范登·胡维尔 , 川崎敬一 , 斯蒂芬·克鲁泽 , 帕特里斯·奥斯纳·德门德斯 , 米查尔·皮利普祖克 , 丹尼尔·基罗兹 , 罗曼·拉宾诺维奇 , 塞巴斯蒂安·西贝茨 :
有序结构的模型检查。 11:1-11:28 石广丰 , 克劳迪娅·卡拉佩尔 , 奥利弗·费尔南德斯·吉尔 , 卡林·夸斯 :
单计数器机器的MTL和TPTL:表达性、模型检查和可满足性。 12:1至12:34 曼努埃尔黑山 , 苏珊娜·尼娃 , 里卡多·佩尼亚 , 克拉拉·塞古拉 :
将液体类型扩展到阵列。 13:1-13:41 菲利普·巴尔比亚尼 , 约瑟夫·布杜 , 马丁·迪格斯 , 大卫·费尔南德斯·杜克 :
直觉主义线性时间逻辑。 14:1-14:32 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱者的力量。 15:1-15:47 西尼萨·托莫维奇 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 :
关于知识和概率推理的一阶逻辑。 16:1-16:30
第21卷第3期,2020年5月
Frédéric Herbreteau餐厅 , B.斯里瓦特桑 , Thanh-Tung Tran公司 , 伊戈尔·瓦卢基维奇 :
时间自动机为何难以生存,以及我们能做些什么。 17:1-17:28 纪尧姆·伯勒 :
将聚焦和解决与选择联系起来。 18:1-18:30 Mnacho Echenim公司 , 半径Iosif , 尼古拉斯·佩尔蒂埃 :
带有未解释谓词的Bernays-Schönfinkel-Ramsey分离逻辑类。 19:1-19:46 安德烈·赫尼奇 , 卡斯滕·卢茨 , 法比奥·帕帕奇尼 , 弗兰克·沃尔特 :
用保护片段进行本体中介查询中的两分法。 20:1-20:47 阿诺焦油醇 , 奥利维尔·塞雷 :
在与自然的游戏中,策略有多好? 21:1-21:39 卡米洛·佛罗伦萨 , 马洛·法拉利 :
前向反驳中不可证明性和可证明性的二重性——直觉命题逻辑的搜索。 22:1-22:47 谢尔盖·冈查洛夫 , 斯特凡·米利乌斯 , 亚历山德拉·席尔瓦 :
走向有效状态机的统一理论。 23:1-23:63 安娜·卡瓦尔坎蒂 , 罗伯特·海伦斯 , 西德尼·C·诺盖拉 :
CSP中的输入和输出:模型和测试理论。 24:1-24:53 安德鲁·皮特斯 :
典型的异构相等类型。 25:1-25:10 克劳迪奥·蒙吉 , 马塞洛·贝尔萨尼 , 马特奥·罗西 , 皮埃尔路易吉·圣彼得罗 :
基于时间自动机的模型检验MITL公式:一种基于逻辑的方法。 26:1-26:44
第21卷第4期,2020年10月
安托万·阿马里利 , 本尼迪克特 :
带数字限制的有限开放世界查询答案。 27:1-27:73 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , Jan Obdrzálek先生 , 丹尼尔·洛克斯塔诺夫 , M.S.Ramanujan先生 :
稠密图类FO模型检验的新视角。 28:1-28:23 雅库布·加亚尔斯克 , 斯蒂芬·克鲁泽 , 雅罗斯拉夫·内塞特里 , 帕特里斯·奥斯纳·德门德斯 , 米查尔·皮利普祖克 , 塞巴斯蒂安·西贝茨 , Szymon Torunczyk公司 :
有界展开类的一阶解释。 29:1-29:41 弗兰兹·巴德 , 斯特凡·博格沃德 , 帕特里克·科普曼 , 安娜·奥扎基 , 维罗尼卡·索斯特 :
带间隔数字名称的度量时间描述逻辑。 30:1-30:46 利伦·科恩 , 鲁本·N.S.罗 :
传递闭包逻辑的非完备性证明理论。 31:1-31:31 罗恩·范德梅登 , 玛纳斯·K·帕特拉 :
模型检验概率时间认知逻辑的不可判定案例。 32:1-32:26 乔里·博曼森 , 托米·詹胡宁 , 伊尔卡·尼梅尔 :
在答案集程序转换中应用可视强等价。 33:1-33:41 保罗·巴尔丹 , 托马索·帕多安 :
模型检查逻辑以实现真正的并发。 34:1-34:49