富奇诺,萨卡 作为基础理论ZFC上的反数学不动点的反射原理。 (英语) Zbl 1506.03113号 日本哲学协会年鉴。科学。 25, 67-77 (2017).MSC公司:03电子65 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Fuchino},Ann.日本协会Philos。科学。25、67--77(2017;Zbl 1506.03113) 全文: 内政部
李高林;茹俊仁;吴国华 鲁丁引理与逆向数学。 (英语) Zbl 1506.03062号 日本哲学协会年鉴。科学。 25, 57-66 (2017).MSC公司:03B30型 35楼03号 06B35号 54甲12 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}等人,Ann.Japan Assoc.Philos。科学。25、57-66(2017;Zbl 1506.03062) 全文: 内政部
沃尔特·迪安 伯奈斯和完备性定理。 (英语) Zbl 1506.03060号 日本哲学协会年鉴。科学。 25, 45-55 (2017).MSC公司:03B10号机组 03F40型 35楼03号 03B30型 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dean},Ann.日本协会Philos。科学。25、45-55(2017;Zbl 1506.03060) 全文: 内政部
王天乐 弱König引理的模型。 (英语) Zbl 1506.03124号 日本哲学协会年鉴。科学。 25, 25-34 (2017).MSC公司:35楼03号 03C62号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{T.L.Wong},Ann.日本协会Philos。科学。25、25-34(2017;Zbl 1506.03124) 全文: 内政部
Chong,Chi Tat先生;斯蒂芬·辛普森。 特别部分:可计算性理论和数学基础。 (英语) 兹比尔1506.03005 日本哲学协会年鉴。科学。 25, 23-24 (2017).MSC公司:03-06 00B15号机组 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Chong}和\textit{S.G.Simpson},Ann.日本协会Philos。科学。25、23-24(2017;Zbl 1506.03005) 全文: 内政部
普尔泽米斯瓦夫·安德泽·瓦莱加(Przemyslaw Andrzej Walega) 论Halpern-Shoham逻辑及其Horn片段的表现力。 (英语) Zbl 1515.03084号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第22条,第18页(2017年)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Walega},LIPIcs——莱布尼茨国际程序。通知。90,第22条,第18页(2017;Zbl 1515.03084) 全文: 内政部
Vasilikos,泛神经炎;弗莱明·尼尔森;尼尔森、汉内·里斯 基于时间相关策略的访问控制。 (英语) Zbl 1515.68214号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第21条,第18页(2017年)。MSC公司:68问题85 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Vasilikos}等人,LIPIcs——莱布尼茨国际程序。通知。90,第21条,第18页(2017;Zbl 1515.68214) 全文: 内政部
丹尼尔·克恩伯格;马丁·兰格 完全混合的微积分。 (英语) Zbl 1515.68184号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第17条,第16页(2017年)。MSC公司:60年第68季度 03B44号 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kernberger}和\textit{M.Lange},LIPIcs——莱布尼茨国际程序。通知。90,第17条,第16页(2017;兹bl 1515.68184) 全文: 内政部
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 具有有限有界语义的CTL。 (英语) Zbl 1515.03082号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第14条,第19页(2017年)。MSC公司:03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,LIPIcs——莱布尼茨国际程序。通知。90,第14条,第19页(2017;Zbl 1515.03082) 全文: 内政部
黛拉·莫妮卡,达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 通过区间时序逻辑模型检查评估时序数据集。 (英语) Zbl 1515.68109号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第11条,第18页(2017年)。MSC公司:第68页,共15页 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,LIPIcs——莱布尼茨国际程序。通知。90,第11条,第18页(2017年;Zbl 1515.68109) 全文: 内政部
托马斯·布里海耶;吉勒·杰勒茨;何希明;本杰明·蒙梅格 基于时间自动机的MITL信号验证。 (英语) Zbl 1515.68173号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第7条,第19页(2017年)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,LIPIcs——莱布尼茨国际程序。通知。90,第7条,第19页(2017年;Zbl 1515.68173) 全文: 内政部
乔纳森·比哈格尔;Jean-Paul彗星;马克西姆·福舍特 基于基因网络混合模型的改进Hoare逻辑约束识别。 (英语) Zbl 1515.68158号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第5条,第21页(2017年)。MSC公司:65年第68季度 03B70号 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{J.Behaegel}等人,LIPIcs——莱布尼茨国际期刊。通知。90,第5条,第21页(2017年;兹bl 1515.68158) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 基于时间数据的本体论中介查询回答:一项调查(受邀演讲)。 (英语) Zbl 1515.68296号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第1条,第37页(2017年)。MSC公司:68T27型 03B44号 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,LIPIcs——莱布尼茨国际程序。通知。90,第1条,37 p.(2017;Zbl 1515.68296) 全文: 内政部
塔卡马萨·奥库多诺;Yuki西田;小岛贤介;Kohei Suenaga公司;基多、肯戈;一郎·哈索 用于程序验证的更清晰、更简单的非线性插值。 (英语) Zbl 1503.68184号 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 491-513 (2017).MSC公司:60年第68季度 03B70号 03C40号 14第05页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Okudono}等人,Lect。注释计算。科学。10695、491--513(2017;Zbl 1503.68184) 全文: 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛 具有经典和概率控制的密度矩阵的lambda演算。 (英语) Zbl 1503.68043号 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 448-467 (2017).MSC公司:68号30 03B40型 68甲18 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro},莱克特。注释计算。科学。10695、448--467(2017;Zbl 1503.68043) 全文: 内政部 arXiv公司
塔尔莫乌斯塔卢;尼科洛·维尔特里 偏爱和容器单子。 (英语) Zbl 1503.03022号 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 406-425 (2017).MSC公司:03B38型 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}和\textit{N.Veltri},莱克特。注释计算。科学。10695、406--425(2017;Zbl 1503.03022) 全文: 内政部
克里斯蒂娜·马塔奇;维克多·戈麦斯。;多米尼克·P·穆利根。 用经典类型编程和证明。 (英语) 兹比尔1503.68046 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 215-234 (2017).MSC公司:68号30 03B40型 03B70号 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Matache}等人,Lect。注释计算。科学。10695、215--234(2017;Zbl 1503.68046) 全文: 内政部 链接
曹勤祥;圣地亚哥库埃拉;安德鲁·W·阿佩尔。 为分离逻辑丛林带来秩序。 (英语) Zbl 1503.03034号 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 190-211 (2017).MSC公司:03B70号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Cao}等人,Lect。注释计算。科学。10695、190--211(2017;Zbl 1503.03034) 全文: 内政部
大辅木村;Makoto Tatsuta 包含符号堆和数组的决策过程。 (英语) Zbl 1503.68045号 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 169-189 (2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kimura}和\textit{M.Tatsuta},莱克特。注释计算。科学。10695、169--189(2017;Zbl 1503.68045) 全文: 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 键入量子叠加和测量。 (英语) Zbl 1513.81018号 Martín-Vide,Carlos(编辑)等人,《自然计算的理论与实践》。2017年12月18日至20日,第六届国际会议,TPNC 2017,捷克共和国布拉格。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10687, 281-293 (2017).MSC公司:81页68 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz Caro}和\textit{G.Dowek},Lect。注释计算。科学。10687281-293(2017年;兹比尔1513.81018) 全文: 内政部 哈尔
阿伦德·伦辛克 你的天竺葵多少钱?使图形条件超出一阶。 (英语) Zbl 1498.68214号 Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 191-213 (2017).MSC公司:68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink},莱克特。注释计算。科学。10500,191--213(2017;Zbl 1498.68214) 全文: 内政部
多米尼克·施泰因费尔;内森·瓦瑟 一种新的不变量规则,用于分析具有非标准控制流的循环。 (英语) Zbl 1498.68083号 Polikarpova,Nadia(编辑)等,《综合形式方法》。2017年9月20日至22日在意大利都灵举行的2017年第13届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10510, 279-294 (2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Steinhöfel}和\textit{N.Wasser},莱克托。注释计算。科学。10510279--294(2017;Zbl 1498.68083) 全文: 内政部
Owe、Olaf;托克塔姆Ramezanifarkhani;埃莱赫·法泽尔德科迪 从多个合同中进行Hoare-style推理。 (英语) Zbl 1498.68168号 Polikarpova,Nadia(编辑)等,《综合形式方法》。2017年9月20日至22日在意大利都灵举行的2017年第13届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10510, 263-278 (2017).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe}等人,Lect。注释计算。科学。10510263-278(2017年;Zbl 1498.68168) 全文: 内政部
冀伟;王法恩;吴鹏 为多智能体游戏合成联盟。 (英语) Zbl 1498.68339号 Polikarpova,Nadia(编辑)等,《综合形式方法》。2017年9月20日至22日在意大利都灵举行的2017年第13届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10510, 243-259 (2017).MSC公司:68T42型 03B44号 60年第68季度 91年12月 PDF格式BibTeX公司 XML格式引用 \textit{W.Ji}等人,Lect。注释计算。科学。10510、243-259(2017年;Zbl 1498.68339) 全文: 内政部
莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·巴博萨。 关于加权计算的Kleene代数。 (英语) Zbl 1498.68075号 Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623, 271-286 (2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人,Lect。注释计算。科学。10623、271--286(2017年;Zbl 1498.68075) 全文: 内政部 链接
科尼亚圣奥利维拉;朱莉娅,斯特芬 使用线性逻辑验证复合web服务中的需求场景。 (英语) Zbl 1498.68171号 Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623, 215-232 (2017).MSC公司:60年第68季度 03B70号 68英里11 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Santos de Oliveira}和\textit{S.Julia},莱克特。注释计算。科学。10623、215--232(2017年;Zbl 1498.68171) 全文: 内政部
法拉·阿尔沙雷菲;阿列克谢·利西萨;克莱尔·狄克逊 安全关键系统的抽象状态机和系统理论过程分析。 (英语) Zbl 1498.68148号 Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623, 15-32 (2017).MSC公司:60年第68季度 03B44号 2004年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Al-Shareefi}等人,Lect。注释计算。科学。10623,15-32(2017年;兹bl 1498.68148) 全文: 内政部 链接
刘万伟;宋,傅;周,葛 推理无限单词的周期性。 (英语) Zbl 1498.03048号 Larsen,Kim G.(编辑)等,可靠软件工程。理论、工具和应用。第三届国际研讨会,2017年10月23日至25日,中国长沙,SETTA 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10606, 200-215 (2017).MSC公司:03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,Lect。注释计算。科学。10606,200-215(2017;Zbl 1498.03048) 全文: 内政部
Dimitar P.Guelev。;王淑玲;詹乃军 持续时间演算中关于混合CSP的复合Hoare-style推理。 (英语) Zbl 1498.68158号 Larsen,Kim G.(编辑)等,可靠软件工程。理论、工具和应用。第三届国际研讨会,2017年10月23日至25日,中国长沙,SETTA 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10606, 110-127 (2017).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}等人,Lect。注释计算。科学。10606110-127(2017年;兹bl 1498.68158) 全文: 内政部 arXiv公司
塞巴斯蒂安·科尼埃奇尼;拉蒙皮诺·佩雷斯 关于迭代压缩:句法特征、表示定理和Levi恒等式的局限性。 (英语) Zbl 1498.68303号 道德,Serafín(编辑)等,可扩展不确定性管理。2017年10月4日至6日在西班牙格拉纳达举行的2017年第11届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10564, 348-362 (2017).MSC公司:68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Konieczny}和\textit{R.Pino Pérez},莱克特。注释计算。科学。10564、348--362(2017年;Zbl 1498.68303) 全文: 内政部
Stefan博格沃特;拉斐尔·佩尼亚洛萨 模糊描述逻辑——一项调查。 (英语) Zbl 1498.68297号 道德,Serafín(编辑)等,可扩展不确定性管理。2017年10月4日至6日在西班牙格拉纳达举行的2017年第11届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10564, 31-45 (2017).MSC公司:68T27型 03B52号 68立方英尺 68-02 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgwardt}和\textit{R.Peñaloza},莱克特。注释计算。科学。10564,31-45(2017;Zbl 1498.68297) 全文: 内政部 链接
福恩市长,大卫;克里斯托夫·本兹穆勒 自动修正内涵高阶模态逻辑中的本体论论证。 (英语) 兹比尔1498.68366 Kern Isberner,Gabriele(编辑)等人,KI 2017:人工智能的进步。2017年9月25-29日在德国多特蒙德举行的第40届德国人工智能年会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10505, 114-127 (2017).MSC公司:68V20型 03A05号 03B45号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Fuenmayor}和\textit{C.Benzmüller},Lect。注释计算。科学。10505、114-127(2017年;Zbl 1498.68366) 全文: 内政部 链接
迈赫迪·达斯塔尼;埃米利亚诺·洛里尼;约翰·朱尔斯·迈耶;亚历山大·潘科夫 其他补偿愤怒=将无法实现的欲望归咎于负责任的代理人。 (英语) Zbl 1503.91081号 An,Bo(编辑)等人,《2017年PRIMA:多智能体系统的原理和实践》。第20届国际会议,法国尼斯,2017年10月30日至11月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10621, 15-33 (2017).MSC公司:91E99型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Dastani}等人,Lect。注释计算。科学。10621,15-33(2017;Zbl 1503.91081) 全文: 内政部 哈尔
罗马斯·阿隆德里斯 命题逻辑的Brodsky编码方法。 (英语) Zbl 1508.03036号 谎言。垫环。,程序。岩性。数学。Soc.,爵士。A类 58, 1-6 (2017).MSC公司:03B05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis},谎言。垫环。,程序。岩性。数学。Soc.,爵士。A 58,1--6(2017;Zbl 1508.03036) 全文: 内政部
阿格涅斯卡·兹布列兹尼。 比较基于SAT和SMT的有界模型检查的ECTL属性。 (英语) Zbl 1513.68030号 科学。问题,Jan Długosz Univ.Częst。,数学。 22, 161-175 (2017).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Zbrzezny},科学。问题,Jan Długosz Univ.Częst。,数学。22161--175(2017;Zbl 1513.68030) 全文: 内政部
韦瑟尔,詹姆斯·欧文 范畴理论和经典时空理论的基础。 (英语) Zbl 1496.18009号 Landry,Elaine(编辑),工作哲学家的类别。牛津:牛津大学出版社。329-348 (2017).MSC公司:第18页第15页 03B30型 83个F05 PDF格式BibTeX公司 XML格式引用 \textit{J.O.Weatherall},in:工作哲学家的类别。牛津:牛津大学出版社。329--348(2017年;Zbl 1496.18009)
史蒂夫·阿沃迪 结构主义、不变性和单价。 (英语) Zbl 1496.18002号 Landry,Elaine(编辑),工作哲学家的类别。牛津:牛津大学出版社。58-68 (2017).MSC公司:第18页第15页 03B38型 03A05号 18号45 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey},in:工作哲学家的类别。牛津:牛津大学出版社。58-68(2017年;Zbl 1496.18002)
迈克尔·舒尔曼 同伦类型理论:一种综合方法来处理更高的等式。 (英语) Zbl 1496.18007号 Landry,Elaine(编辑),工作哲学家的类别。牛津:牛津大学出版社。36-57 (2017).MSC公司:第18页第15页 03B38型 18号45 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},in:工作哲学家的类别。牛津:牛津大学出版社。36-57(2017年;Zbl 1496.18007) 全文: arXiv公司
大卫·科菲尔德 复兴几何哲学。 (英语) 兹比尔1496.03034 兰德里,伊莱恩(编辑),《工作哲学家的分类》。牛津:牛津大学出版社。18-35 (2017).MSC公司:03B30型 03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Corfield},in:工作哲学家的类别。牛津:牛津大学出版社。18-35(2017;Zbl 1496.03034)
黑山,曼努埃尔;苏珊娜·尼娃;里卡多·佩纳;克拉拉塞古拉 阵列不变综合的液体类型。 (英语) Zbl 1495.68138号 D’Souza,Deepak(编辑)等人,《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10482, 289-306 (2017).MSC公司:60年第68季度 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人,Lect。注释计算。科学。10482、289--306(2017;Zbl 1495.68138) 全文: 内政部
广乐路;Makoto Tatsuta;孙骏;魏恩根·钦 带有归纳谓词和算术的分离逻辑中的可判定片段。 (英语) Zbl 1497.03048号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 495-517 (2017).MSC公司:03B70号 03B25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Quang Loc Le}等人,Lect。注释计算。科学。10427,495--517(2017;Zbl 1497.03048) 全文: 内政部 链接
Tentrup,Leander公司 基于CEGAR的QBF求解中的扩展和分解。 (英语) Zbl 1494.68293号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 475-494 (2017).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup},莱克特。注释计算。科学。10427475--494(2017年;Zbl 1494.68293) 全文: 内政部 arXiv公司
明泰哲;朱德熙;Joxan雅法 递归定义的字符串的模型计数。 (英语) Zbl 1495.68159号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 399-418 (2017).MSC公司:68兰特 03B70号 60年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{Minh-Thai Trinh}等人,Lect。注释计算。科学。10427399--418(2017年;Zbl 1495.68159) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳·库普弗曼;詹·奥利弗·林格特;纱线维纳 定量假设保证合成。 (英语) Zbl 1494.68156号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 353-374 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,Lect。注释计算。科学。10427,353--374(2017;Zbl 1494.68156) 全文: 内政部 链接
阿伊拉特·哈利莫夫;罗德里克·布洛姆 Streett、Rabin和(mathrm{CTL}^*\)的有界合成。 (英语) Zbl 1494.68169号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 333-352 (2017).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khalimov}和\textit{R.Bloem},莱克特。注释计算。科学。10427333--352(2017;Zbl 1494.68169) 全文: 内政部
玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 参数化异步共享内存下推系统的模型检查线性时间属性。 (英语) Zbl 1495.68134号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 155-175 (2017).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fortin}等人,Lect。注释计算。科学。10427,155--175(2017;Zbl 1495.68134) 全文: 内政部 哈尔
马里奥·埃塞特;伊万娜·库兹马诺维奇;伊凡·瓦兹勒;蒂霍米尔·齐利奇 (M)系统理论。 (英语) Zbl 1492.03010号 日志。J.IGPL公司 25,第5号,836-858(2017).MSC公司:03B50号 03B80号 91层20 94C60个 PDF格式BibTeX公司 XML格式引用 \textit{M.Essert}等人,《日志》。J.IGPL 25,No.5,836--858(2017;Zbl 1492.03010) 全文: 内政部
大卫·埃勒曼 逻辑信息论:信息论的新逻辑基础。 (英语) Zbl 1492.94039号 日志。J.IGPL公司 25,第5号,806-835(2017).MSC公司:94甲17 03B80号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ellerman},日志。J.IGPL 25,第5号,806--835(2017;Zbl 1492.94039) 全文: 内政部 链接
杨帆 模态依赖逻辑:公理化和模型理论属性。 (英语) Zbl 1492.03011号 日志。J.IGPL公司 25,第5号,773-805(2017).MSC公司:03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang},日志。J.IGPL 25,第5号,773--805(2017;Zbl 1492.03011) 全文: 内政部 arXiv公司
卢卡·米凯克;锡,佩尔科夫;姆拉丹·武科维奇 可解释逻辑\(mathbf{IL}\text{texttt{M}}_0\)和\(mathbf{IL{text{W}}^*\)的可判定性。 (英语) Zbl 1492.03021号 日志。J.IGPL公司 25,第5期,758-772(2017).MSC公司:03层45 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Mikec}等人,日志。J.IGPL 25,第5号,758--772(2017;Zbl 1492.03021) 全文: 内政部
朱利奥·迈克尔·斯特恩;拉斐尔·伊兹比基;路易斯·古斯塔沃,埃斯特维斯;拉斐尔·巴西·斯特恩 逻辑一致的假设检验和对立的六边形。 (英语) 兹比尔1492.03014 日志。J.IGPL公司 25,第5号,741-757(2017).MSC公司:03B80号 03B45号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Stern}等人,日志。J.IGPL 25,第5号,741--757(2017;Zbl 1492.03014) 全文: 内政部 arXiv公司
弗拉维奥·费拉罗蒂;克劳斯·迪特尔·舍韦;Tec,Loredana公司;王青 数据库抽象状态机的完整逻辑。 (英语) Zbl 1492.68046号 日志。J.IGPL公司 25,第5号,700-740(2017).MSC公司:第68页,共15页 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferrarotti}等人,日志。J.IGPL 25,第5号,700--740(2017;Zbl 1492.68046) 全文: 内政部 arXiv公司
穆斯塔法扎雷 Kripke模型的扩展。 (英语) Zbl 1492.03004号 日志。J.IGPL公司 25,第5号,697-699(2017).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zaare},日志。J.IGPL 25,第5号,697--699(2017;Zbl 1492.03004) 全文: 内政部
松田直介 以有限线性克里普克框架为特征的逻辑的无切割序列计算。 (英语) Zbl 1492.03018号 日志。J.IGPL公司 25,第5号,686-696(2017).MSC公司:05年3月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Matsuda},日志。J.IGPL 25,第5号,686--696(2017;Zbl 1492.03018) 全文: 内政部
安娜·索菲·海尼曼 “逻辑实际上只不过是形式主义……”这是“形式逻辑”一词历史上的一个插曲。(“Die Logik ist in der That nichts als bloßer Formalismus……”Zu einer Episode in der Geschichte des Begriffs‘formale Logik’。) (德语) Zbl 1510.03003号 Krömer,Ralf(编辑)等人,Siegener Beiträge zur Geschichte und Philosophie der Mathematik(SieB)8。Siegen:universi–Universitaetsverrag Siegen大学。西根。拜特。盖世。菲洛斯。数学。8, 27-72 (2017).MSC公司:03-03 01A55号 03B99 PDF格式BibTeX公司 XML格式引用 \textit{A.-S.海涅曼},西根。拜特。盖世。菲洛斯。数学。8、27——72(2017年;Zbl 1510.03003)
马特·温莎;多兹,迈克;本·辛纳;马修·帕金森。 Starling:使用视图进行轻量级并发验证。 (英语) Zbl 1494.68065号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 544-569 (2017).MSC公司:68号30 03B70号 68甲19 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Windsor}等人,Lect。注释计算。科学。10426、544--569(2017;Zbl 1494.68065) 全文: 内政部
托马斯·布里海耶;吉勒·杰勒茨;何希明;本杰明·蒙梅格 强大的L:从MITL到时间自动机的合成翻译。 (英语) Zbl 1494.68162号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 421-440 (2017).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,Lect。注释计算。科学。10426421--440(2017年;Zbl 1494.68162) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 无序数据流上时间属性的运行时验证。 (英语) Zbl 1494.68160号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 356-376 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Lect。注释计算。科学。10426、356--376(2017年;Zbl 1494.68160) 全文: 内政部 arXiv公司
马塞尔·瓦兹奎兹·香拉特;Jyotirmoy V.德斯穆赫。;金、小青;Sanjit A.Seshia。 时间序列数据的逻辑聚类和学习。 (英语) Zbl 1494.68232号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426305-325(2017年)。MSC公司:68T05型 03B44号 62H30型 62米10 PDF格式BibTeX公司 XML格式引用 \textit{M.Vazquez-Chanlatte}等人,Lect。注释计算。科学。10426305-325(2017;Zbl 1494.68232) 全文: 内政部 arXiv公司
亨德里克·罗姆;托马斯·海因茨;伊娃·夏洛特·梅尔 STLInspert:STL验证和保证。 (英语) Zbl 1494.68173号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 225-232 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Roehm}等人,Lect。注释计算。科学。10426,225--232(2017;Zbl 1494.68173) 全文: 内政部
维克托·瓦菲亚迪斯 使用分离逻辑在弱内存一致性下进行程序验证。 (英语) Zbl 1494.68175号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 30-46 (2017).MSC公司:60年第68季度 03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Vafeiadis},莱克特。注释计算。科学。10426,30--46(2017;Zbl 1494.68175) 全文: 内政部
卡塔林·法泽卡斯;Heule,Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 量化布尔公式的Skolem函数延拓。 (英语) Zbl 1491.68192号 Gabmeyer,Sebastian(编辑)等人,《测试与证明》。2017年7月19日至20日,作为2017年STAF的一部分,在德国马尔堡举行了2017年第11届国际会议TAP。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10375, 129-138 (2017).MSC公司:68T20型 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Fazekas}等人,Lect。注释计算。科学。10375129-138(2017年;兹bl 1491.68192) 全文: 内政部 链接
马尔金·沃尔斯基;安娜·戈莫林斯卡 粗糙与近:两种理论的模态历史。 (英语) Zbl 1489.68306号 Polkowski,Lech(编辑)等人,《粗糙集》。2017年7月3日至7日,波兰奥斯汀,2017年国际JCRS联合会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10313, 109-122 (2017).MSC公司:68层37 03B45号 54E05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wolski}和\textit{A.Gomoliáska},莱克托。注释计算。科学。10313、109-122(2017年;Zbl 1489.68306) 全文: 内政部
更多,Anuj Kumar;莫华·班纳吉 粗糙集范畴中的新代数和逻辑。 (英语) Zbl 1489.68293号 Polkowski,Lech(编辑)等人,《粗糙集》。2017年7月3日至7日,波兰奥斯汀,2017年国际JCRS联合会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10313, 95-108 (2017).MSC公司:68层37 03B20型 05年3月 06至75 18对25 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.More}和\textit{M.Banerjee},莱克特。注释计算。科学。10313,95-108(2017;Zbl 1489.68293) 全文: 内政部
马蒂亚斯·韦伯;安妮特·比纽萨;阿恩·施·赫夫特 EPTL:弱一致系统的时序逻辑(短文)。 (英语) Zbl 1489.68142号 Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 236-242 (2017).MSC公司:60年第68季度 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \文本{M.Weber}等人,Lect。注释计算。科学。10321236-242(2017年;兹bl 1489.68142) 全文: 内政部 arXiv公司 哈尔
斯特凡·J·J·维杰泽拉(Stefan J.J.Vijzelaar)。;万·J·福克金。 创建用于多值模型检查的Büchi自动机。 (英语) Zbl 1489.68141号 Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 210-224 (2017).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.J.J.Vijzelaar}和\textit{W.J.Fokkink},莱克特。注释计算。科学。10321、210-224(2017;Zbl 1489.68141) 全文: 内政部 哈尔
约阿希姆·帕罗;Tjark韦伯;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克 弱标称模态逻辑。 (英语) Zbl 1489.68167号 Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 179-193 (2017).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人,Lect。注释计算。科学。10321、179--193(2017;Zbl 1489.68167) 全文: 内政部 哈尔
法布里西奥·蒙泰西 经典高阶过程(短文)。 (英语) Zbl 1489.68165号 Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 171-178 (2017).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Montesi},Lect。注释计算。科学。10321、171--178(2017;Zbl 1489.68165) 全文: 内政部
阿格涅斯卡·兹布列兹尼。;安杰伊·兹布热兹尼 基于SMT的定时解释系统的简单有界模型检查。 (英语) Zbl 1489.68143号 Polkowski,Lech(编辑)等人,《粗糙集》。2017年7月3日至7日,波兰奥斯汀,2017年国际JCRS联合会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10314, 487-504 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Zbrzezny}和\textit{A.Zbrzezny},莱克特。注释计算。科学。10314、487--504(2017;Zbl 1489.68143) 全文: 内政部
迪米特·瓦卡雷洛夫 mereology和mereotopology中的实际存在谓词(扩展抽象)。 (英语) Zbl 1508.03064号 Polkowski,Lech(编辑)等人,《粗糙集》。2017年7月3日至7日,波兰奥斯汀,2017年国际JCRS联合会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10314, 138-157 (2017).MSC公司:03B60号 03B30型 03G25号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},莱克特。注释计算。科学。10314、138--157(2017;Zbl 1508.03064) 全文: 内政部
克雷斯蒂安·约布茨克;安东尼·利格萨 行动的动态认知优先逻辑。 (英语) Zbl 1486.68182号 Rutkowski,Leszek(编辑)等人,《人工智能和软计算》。2017年6月11日至15日在波兰扎科帕内举行的2017年ICAISC第16届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10246, 243-254 (2017).MSC公司:68T27型 03B42号 03B50号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{K.Jobczyk}和\textit{A.Ligeza},莱克特。注释计算。科学。10246243-254(2017;Zbl 1486.68182) 全文: 内政部
劳拉,博泽利;阿尼埃洛·穆拉诺 关于\(\mathsf{ATL}\)和\(\mathsf{ATL}^*\)模块检查的复杂性。 (英语) Zbl 1483.68187号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256268-282(2017年)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{A.Murano},电子。程序。西奥。计算。科学。(EPTCS)256268--282(2017;Zbl 1483.68187) 全文: arXiv公司 链接
西蒙·巴斯德;查尔斯·佩彻 一种基于反向遍历的方法,用于约束可达性统一策略的符号模型检查。 (英语) Zbl 1483.68188号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256253-267(2017)。MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}和\textit{C.Pecheur},电子。程序。西奥。计算。科学。(EPTCS)256253--267(2017;Zbl 1483.68188) 全文: arXiv公司 链接
劳尔·帕尔多;杰拉尔多·施奈德 模型检查社交网络模型。 (英语) Zbl 1483.68202号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256、238-252(2017)。MSC公司:60年第68季度 03B42号 68立方英尺 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Pardo}和\textit{G.Schneider},电子。程序。西奥。计算。科学。(EPTCS)256238--252(2017;Zbl 1483.68202) 全文: arXiv公司 链接
斯特凡诺·托内塔 具有事件冻结功能的线性时间时序逻辑。 (英语) Zbl 1483.68207号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256195-209(2017)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Tonetta},电子。程序。西奥。计算。科学。(EPTCS)256195-209(2017;Zbl 1483.68207) 全文: arXiv公司 链接
米勒,大卫;所罗门·西克特 LTL到确定性Emerson-Lei自动机。 (英语) Zbl 1483.68177号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256180-194(2017)。MSC公司:65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Müller}和\textit{S.Sickert},电子。程序。西奥。计算。科学。(EPTCS)256、180--194(2017;Zbl 1483.68177) 全文: arXiv公司 链接
John C.McCabe-Dansted。;马克·雷诺兹 并行线性时序逻辑表。 (英语) Zbl 1483.68133号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256166-179(2017)。MSC公司:第68季度10 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和\textit{M.Reynolds},电子。程序。西奥。计算。科学。(EPTCS)256166--179(2017;Zbl 1483.68133) 全文: arXiv公司 链接
曼弗雷德·德罗斯特;特默尔库西亚;乔治·拉霍尼斯;沃尔夫冈·施莱纳 MK-模糊自动机和MSO逻辑。 (英语) Zbl 1483.68164号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256106-120(2017)。MSC公司:65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《电子》。程序。西奥。计算。科学。(EPTCS)256106-120(2017;Zbl 1483.68164) 全文: 链接
坎通纳,多梅尼科;阿尔菲奥·贾洛塔;史蒂芬·沃森 具有选择对应的布尔集理论的可满足性问题。 (英语) Zbl 1483.03029号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256、61-75(2017)。MSC公司:03E20型 03B25号 03E25型 2017年第68季度 91B06型 91B08型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Electron。程序。西奥。计算。科学。(EPTCS)256,61-75(2017;Zbl 1483.03029) 全文: arXiv公司 链接
劳拉,博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 (英语) Zbl 1483.68186号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256,31-45(2017)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)256,31-45(2017;Zbl 1483.68186) 全文: arXiv公司 链接
Lisa Hutschenreiter;克里斯特尔·拜尔;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) Zbl 1483.68195号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256,16-30(2017)。MSC公司:60年第68季度 03B70号 60J20型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Hutschenreiter}等人,《电子》。程序。西奥。计算。科学。(EPTCS)256,16--30(2017;Zbl 1483.68195) 全文: 链接
王燕京 一种新的认知逻辑模式框架。 (英语) Zbl 1483.03013号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251、515-534(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang},电子。程序。西奥。计算。科学。(EPTCS)251、515--534(2017;Zbl 1483.03013) 全文: arXiv公司 链接
石晨伟;Smets,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 拓扑结构中基于论证的信念。 (英语) Zbl 1483.68386号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251489-503(2017)。MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{C.Shi}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251489--503(2017;Zbl 1483.68386) 全文: arXiv公司 链接
帕维尔·瑙莫夫;陶,贾 我们一起知道如何实现:知识的认知逻辑(扩展抽象)。 (英语) Zbl 1483.03011号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251441-453(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao},电子。程序。西奥。计算。科学。(EPTCS)251、441--453(2017;Zbl 1483.03011) 全文: arXiv公司 链接
Louwe B.Kuijer。 具有常识的任意箭头更新逻辑既不是RE也不是co-RE。 (英语) Zbl 1483.03010号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251373-381(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Kuijer},电子。程序。西奥。计算。科学。(EPTCS)251373--381(2017;Zbl 1483.03010) 全文: arXiv公司 链接
Kohei的Kishida 动态认知逻辑的范畴。 (英语) Zbl 1483.03009号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251353-372(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{K.Kishida},电子。程序。西奥。计算。科学。(EPTCS)251、353——372(2017年;兹bl 1483.03009) 全文: arXiv公司 链接
卫斯理·H·霍利迪。;托马斯·伊卡德(Thomas F.III) 指示性条件句和动态认识逻辑。 (英语) Zbl 1484.03026号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251337-351(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Holliday}和\textit{T.F.Icard III},电子。程序。西奥。计算。科学。(EPTCS)251,337--351(2017;Zbl 1484.03026) 全文: arXiv公司 链接
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗恩·范德梅登;里卡多·普切拉 认证逻辑的认知基础(扩展抽象)。 (英语) Zbl 1483.03008号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251306-323(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251、306--323(2017;Zbl 1483.03008) 全文: arXiv公司 链接
皮埃尔弗朗西斯科·瓜里诺 条件概率系统泛型结构的无拓扑构造。 (英语) Zbl 1484.03040号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251285-305(2017)。MSC公司:03B48号 03B38型 60A10英寸 PDF格式BibTeX公司 XML格式引用 \textit{P.瓜里诺},电子。程序。西奥。计算。科学。(EPTCS)251285--305(2017;Zbl 1484.03040) 全文: arXiv公司 链接
鲁斯塔姆·加利姆林;娜塔莎·亚历奇纳 联盟和集团公告逻辑。 (英语) Zbl 1483.03007号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251207-220(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.Galimulin}和\textit{N.Alechina},电子。程序。西奥。计算。科学。(EPTCS)251207--220(2017;Zbl 1483.03007) 全文: arXiv公司 链接
范·艾伊克(Jan van Eijck);李凯 有条件的信念、知识和概率。 (英语) Zbl 1483.68389号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)25118-206(2017)。MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck}和\textit{K.Li},电子。程序。西奥。计算。科学。(EPTCS)25118--206(2017;Zbl 1483.68389) 全文: arXiv公司 链接
威廉·康雷迪;萨宾·弗里特拉;亚历山德拉·帕尔米吉亚诺;米歇尔·皮亚扎伊;阿波斯托洛斯·齐莫利斯;纳乔姆·维恩伯格。 走向认知逻辑范畴化理论。 (英语) Zbl 1483.03006号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251167-186(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251、167--186(2017;Zbl 1483.03006) 全文: arXiv公司 链接
伊万诺·齐亚德利;马丁·奥托 好奇模态逻辑中的相互模拟。 (英语) Zbl 1483.03016号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)25151-166(2017)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli}和\textit{M.Otto},Electron。程序。西奥。计算。科学。(EPTCS)251、151——166(2017年;兹bl 1483.03016) 全文: arXiv公司 链接
埃米利亚诺·卡托尼尼 合理性和认知优先顺序。 (英语) Zbl 1484.91065号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251102-117(2017)。MSC公司:91A26型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{E.Catonini},电子。程序。西奥。计算。科学。(EPTCS)251、102--117(2017;Zbl 1484.91065) 全文: 链接
亚当·比约恩达尔;艾比克·厄兹根 知识、知识性和信念的逻辑和拓扑。扩展摘要。 (英语) Zbl 1484.03023号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)25188-101(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bjorndahl}和\textit{A.Øzgün},电子。程序。西奥。计算。科学。(EPTCS)251,88--101(2017;Zbl 1484.03023) 全文: arXiv公司 链接
亚当·比约恩达尔;约瑟夫·霍尔珀(Joseph Y.Halpern)。 通过语言从类型空间到概率框架再到概率框架。 (英语) 兹比尔1483.68370 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)25175-87(2017)。MSC公司:68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bjorndahl}和\textit{J.Y.Halpern},电子。程序。西奥。计算。科学。(EPTCS)251,75--87(2017;Zbl 1483.68370) 全文: arXiv公司 链接
约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特 一种新的博弈等价及其模态逻辑。 (英语) Zbl 1483.03017号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,57-74(2017)。MSC公司:03B45号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251,57--74(2017;Zbl 1483.03017) 全文: arXiv公司 链接
弗朗西斯科·贝拉迪内利;翁贝托·格兰迪;安德烈亚斯·赫齐格;多米尼克·隆吉;埃米利亚诺·洛里尼;阿里安娜·诺瓦罗;劳伦特·佩鲁塞尔 放松布尔游戏中的独占控制。 (英语) 兹比尔1483.68185 Lang,Jérôme(编辑),《理性与知识理论方面第十六次会议论文集》,2017年TARK,英国利物浦,2017年7月24日至26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,43-56(2017)。MSC公司:60年第68季度 03B44号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251,43-56(2017;Zbl 1483.68185) 全文: arXiv公司 链接
弗朗西斯科·贝拉迪内利;汉斯·范·迪特马什;范德霍克,威比 全球和本地公告的逻辑。 (英语) Zbl 1483.03005号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,28-42(2017)。MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251,28-42(2017;Zbl 1483.03005) 全文: arXiv公司 链接
Krzysztof R.阿普特。;多米尼克·沃伊特扎克 八卦逻辑中的常识。 (英语) Zbl 1483.68362号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,10-27(2017)。MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{D.Wojtczak},电子。程序。西奥。计算。科学。(EPTCS)251,10--27(2017;Zbl 1483.68362) 全文: arXiv公司 链接