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