瓦洛塔，迭戈 哥德尔代数的谱。 （英语） Zbl 1525.03115号 Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：施普林格。莱克特。注释计算。科学。11456, 297-311 (2018).MSC公司：03G25号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Valota}，莱克特。注释计算。科学。11456、297--311（2018；Zbl 1525.03115） 全文： 内政部
拉尔夫·诺曼;韦布克·彼得森 动态框架理论中的桥接推理。 （英语） Zbl 1525.91150号 Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：施普林格。莱克特。注释计算。科学。11456, 228-252 (2018).MSC公司：91层20 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{R.Naumann}和\textit{W.Petersen}，莱克特。注释计算。科学。11456、228--252（2018年；Zbl 1525.91150） 全文： 内政部
吉安卢卡·格里莱蒂;伊万诺·齐亚德利 一个用于好奇的一阶逻辑的Ehrenfeucht-Fraíssé游戏。 （英语） Zbl 1525.03061号 Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：施普林格。莱克特。注释计算。科学。11456, 166-186 (2018).MSC公司：03B42号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{G.Grilletti}和\textit{I.Ciardelli}，莱克特。注释计算。科学。11456、166--186（2018；Zbl 1525.03061） 全文： 内政部
大卫·加伯里亚;克里斯蒂娜·果戈拉泽;马穆卡·吉卜拉泽;叶夫根尼·库兹涅佐夫;莱文·乌里迪亚 平面多边形逻辑的公理化。 （英语） Zbl 1525.03069号 Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：施普林格。莱克特。注释计算。科学。11456, 147-165 (2018).MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人，Lect。注释计算。科学。11456147-165（2018年；兹比尔1525.03069） 全文： 内政部
迪克·德·乔恩;Shirmohammadzadeh Maleki，法特梅 亚直觉逻辑的两个邻域语义。 （英语） Zbl 1525.03051号 Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：施普林格。莱克特。注释计算。科学。11456, 64-85 (2018).MSC公司：03B20型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.de Jongh}和\textit{F.Shirmohammadzadeh Maleki}，莱克特。注释计算。科学。11456，64-85（2018；Zbl 1525.03051） 全文： 内政部
Bezhanishvili，尼克;阿尔穆德娜·科拉西托;迪克·德·乔恩 否定的亚动物逻辑及其模态同伴的研究。 （英语） Zbl 1525.03048号 Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：施普林格。莱克特。注释计算。科学。11456, 21-41 (2018).MSC公司：03B20型 03B45 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人，Lect。注释计算。科学。11456，21-41（2018；Zbl 1525.03048） 全文： 内政部 arXiv公司
埃里克·帕尔姆格伦 论建构型理论中范畴对象的平等性。 （英语） Zbl 1528.03111号 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第7条，第7页（2018年）。MSC公司：03B38型 03楼50 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren}，LIPIcs——莱布尼茨国际程序。通知。104，第7条，第7页（2018；兹bl 1528.03111） 全文： 内政部 arXiv公司
伊恩·奥尔顿;安德鲁·皮特斯（Andrew M.Pitts）。 分解单价公理。 （英语） Zbl 1528.03110号 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第6条，第19页（2018年）。MSC公司：03B38型 03G30型 18号40 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{I.Orton}和\textit{A.M.Pitts}，LIPIcs——莱布尼茨国际程序。通知。104，第6条，第19页（2018；Zbl 1528.03110） 全文： 内政部 arXiv公司
朱利叶斯·迈克利斯;托比亚斯·尼普科 命题逻辑的形式化证明系统。 （英语） 兹比尔1528.03097 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第5条，第16页（2018年）。MSC公司：03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaelis}和\textit{T.Nipkow}，LIPIcs——莱布尼茨国际程序。通知。104，第5条，第16页（2018；Zbl 1528.03097） 全文： 内政部
鲁道夫·勒皮格雷 PML2：ML中的集成程序验证。 （英语） Zbl 1528.68083号 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第4条，第27页（2018年）。MSC公司：68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Lepigre}，LIPIcs——莱布尼茨国际程序。通知。104，第4条，第27页（2018；Zbl 1528.68083） 全文： 内政部 arXiv公司
安德烈·杜登赫夫纳;雅各布·雷霍夫 临床后谱的低端。 （英语） Zbl 1528.03122号 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第2条，第15页（2018年）。MSC公司：03B40型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dudenhefner}和\textit{J.Rehof}，LIPIcs——莱布尼茨国际程序。通知。104，第2条，第15页（2018；Zbl 1528.03122） 全文： 内政部
纪尧姆·阿拉伊斯 用剩余部分打字——直觉主义乘法加法线性逻辑的机械化。 （英语） Zbl 1528.03242号 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第1条，第22页（2018年）。MSC公司：03楼52 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Allais}，LIPIcs——莱布尼茨国际程序。通知。104，第1条，22 p.（2018；Zbl 1528.03242） 全文： 内政部
刘德鹏;王，弯腰;张丽君 模型检查差异私有属性。 （英语） Zbl 1519.68137号 Ryu，Sukyung（编辑），《编程语言与系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 394-414 (2018).MSC公司：60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人，Lect。注释计算。科学。11275、394--414（2018年；Zbl 1519.68137） 全文： 内政部
Le，Quang Loc公司;何梦达 具有二次方程、正则表达式和长度约束的字符串逻辑的决策过程。 （英语） Zbl 1519.68169号 Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 350-372 (2018).MSC公司：68兰特 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.L.Le}和\textit{M.He}，Lect。注释计算。科学。11275，350-372（2018；Zbl 1519.68169） 全文： 内政部 链接
詹姆斯·布罗瑟斯顿;马克斯·卡诺维奇 关于分离逻辑中指针算法的复杂性。 （英语） Zbl 1519.68054号 Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 329-349 (2018).MSC公司：68号30 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}和\textit{M.Kanovich}，莱克特。注释计算。科学。11275、329--349（2018年；Zbl 1519.68054） 全文： 内政部 链接
查俊鹏;冯新余;乔，雷 SPARCv8代码的模块化验证。 （英语） Zbl 1519.68144号 Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，APLAS 2018，新西兰惠灵顿，2018年12月2日至6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 245-263 (2018).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Zha}等人，Lect。注释计算。科学。11275、245--263（2018年；Zbl 1519.68144） 全文： 内政部
乌尔里希·舍普 作为模块系统的粒子式交互几何。 （英语） Zbl 1519.68051号 Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 202-222 (2018).MSC公司：68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{U.Schöpp}，莱克特。注释计算。科学。11275、202-222（2018；Zbl 1519.68051） 全文： 内政部
Le，Xuan-Bach（宣巴赫·勒）;阿奎那·霍伯;Anthony W·林。 树共享结构的复杂性分析。 （英语） Zbl 1519.68059号 Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 89-108 (2018).MSC公司：68号30 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.-B.Le}等人，Lect。注释计算。科学。11275，89-108（2018；Zbl 1519.68059） 全文： 内政部 arXiv公司
来吧，大卫;朱利安·布鲁内尔;大卫·杜塞 具有一阶逻辑的时间扩展的源代码分析。 （英语） Zbl 1519.68056号 Massoni，Tiago（编辑）等人，《形式方法：基础和应用》。2018年11月26日至30日，巴西萨尔瓦多，第21届巴西研讨会，SBMF 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11254，20-38（2018）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Come}等人，Lect。注释计算。科学。11254，20--38（2018；Zbl 1519.68056） 全文： 内政部 哈尔
刘新新;张文辉 口吃等效性的表征和验证。 （英语） Zbl 1518.68234号 Jones，Cliff（编辑）等人，实时和混合系统研讨会。在周朝晨教授80岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11180, 116-132 (2018).MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}和\textit{W.Zhang}，Lect。注释计算。科学。11180116-132（2018年；Zbl 1518.68234） 全文： 内政部
皮拉尔·德尔隆德 模糊正本原公式。 （英语） Zbl 1517.68353号 Torra，Vicenç（编辑）等人，《人工智能决策建模》。2018年10月15日至18日在西班牙马洛卡举行的2018年MDAI第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11144, 156-168 (2018).MSC公司：第68页第27页 03B52号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Dellunde}，莱克特。注释计算。科学。11144156-168（2018；Zbl 1517.68353） 全文： 内政部 链接
佩德罗·比比洛尼;曼纽尔·冈萨雷斯-伊达尔戈;塞巴斯蒂亚·马萨内特;阿尔诺米尔;丹尼尔·鲁伊兹·阿奎莱拉 使用uniforms的模糊hit-or-miss变换。 （英语） Zbl 1517.68395号 Torra，Vicenç（编辑）等人，《人工智能决策建模》。2018年10月15日至18日在西班牙马洛卡举行的2018年MDAI第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第11144页，第101-113页（2018）。MSC公司：68T45型 03B52号 68层37 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{P.Bibiloni}等人，Lect。注释计算。科学。11144101-113（2018；Zbl 1517.68395） 全文： 内政部
朱塞佩·桑菲利波 两个条件事件的某些连词的概率下限和上限。 （英语） Zbl 1517.68388号 Ciucci，Davide（编辑）等，可扩展不确定性管理。第十二届国际会议，2018年SUM，意大利米兰，2018年10月3-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11142, 260-275 (2018).MSC公司：68层37 03B48号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{G.Sanfilippo}，莱克特。注释计算。科学。11142260-275（2018年；Zbl 1517.68388） 全文： 内政部
皮拉尔·波佐斯·帕拉;劳伦特·佩鲁塞尔;让·马克·塞韦宁 利用表格列举悖论逻辑的模型。 （英语） Zbl 1517.68364号 Ciucci，Davide（编辑）等，可扩展不确定性管理。第十二届国际会议，2018年SUM，意大利米兰，2018年10月3-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11142, 228-242 (2018).MSC公司：68立方英尺 03B50号 03B53号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{P.Pozos-Parra}等人，Lect。注释计算。科学。11142228-242（2018年；兹比尔1517.68364） 全文： 内政部
尼基·菲弗;朱塞佩·桑菲利波 图二的分类三段论的概率语义。 （英语） Zbl 1517.03021号 Ciucci，Davide（编辑）等，可扩展不确定性管理。第十二届国际会议，2018年SUM，意大利米兰，2018年10月3-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。111422196-211（2018年）。MSC公司：03B48号 PDF格式BibTeX公司 XML格式引用 \textit{N.Pfeifer}和\textit{G.Sanfilippo}，莱克特。注释计算。科学。11142196-211（2018；Zbl 1517.03021） 全文： 内政部
简·Křetínsk \345];托拜厄斯·梅根多夫;所罗门·西克特 猫头鹰：一个包含单词、自动机和LTL的库。 （英语） Zbl 1517.68203号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 543-550 (2018).MSC公司：65年第68季度 03B44号 68伏35 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。11138543-550（2018；Zbl 1517.68203） 全文： 内政部
阿伊拉特·哈利莫夫;马德巴赫，贝内迪克特;罗德里克·布洛姆 寄存器换能器的有界综合。 （英语） Zbl 1517.68244号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 494-510 (2018).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khalimov}等人，Lect。注释计算。科学。11138494-510（2018年；兹比尔1517.68244） 全文： 内政部 arXiv公司
雷娜·迪米特洛娃;马哈萨·加西米;乌富克托普库 线性时序逻辑规范的最大可实现性。 （英语） Zbl 1517.68229号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138458-475（2018年）。MSC公司：60年第68季度 03B44号 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人，Lect。注释计算。科学。11138458--475（2018；Zbl 1517.68229） 全文： 内政部 arXiv公司 链接
卡斯滕·格斯塔克;费利克斯·克莱恩;伯恩德·芬克贝纳 反应式程序的有界综合。 （英语） Zbl 1517.68236号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 441-457 (2018).MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Gerstacker}等人，莱克特。注释计算。科学。11138441--457（2018；Zbl 1517.68236） 全文： 内政部 arXiv公司
Anthony W·林。;鲁帕克·马朱姆达尔 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 （英语） Zbl 1517.68320号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 352-369 (2018).MSC公司：68兰特 03B25号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Lin}和\textit{R.Majumdar}，Lect。注释计算。科学。11138352--369（2018；Zbl 1517.68320） 全文： 内政部 arXiv公司
基尔西·阿达巴拉;吕迪格·埃勒斯 通用极弱自动机的线性时间逻辑的一个片段。 （英语） Zbl 1517.68219号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138335-351（2018）中所述。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Adabala}和\textit{R.Ehlers}，莱克特。注释计算。科学。11138335--351（2018；Zbl 1517.68219） 全文： 内政部
西蒙·西尔维蒂;劳拉·内兹;埃齐奥·巴托西;卢卡·博托卢西 信号卷积逻辑。 （英语） Zbl 1517.68253号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 267-283 (2018).MSC公司：60年第68季度 03B44号 92 C55 93C85号 94甲12 PDF格式BibTeX公司 XML格式引用 \textit{S.Silvetti}等人，Lect。注释计算。科学。11138267--283（2018；Zbl 1517.68253） 全文： 内政部 arXiv公司
普什巴克·贾格塔普;萨代赫·苏贾尼;马吉德·扎马尼 使用屏障证书对随机系统进行时序逻辑验证。 （英语） Zbl 1517.68242号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 177-193 (2018).MSC公司：60年第68季度 03B44号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{P.Jagtap}等人，Lect。注释计算。科学。11138、177--193（2018；Zbl 1517.68242） 全文： 内政部 arXiv公司
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔 套索词线性时序逻辑的最优证明。 （英语） Zbl 1517.68222号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。2018年10月7日至10日，美国加利福尼亚州洛杉矶，第16届国际研讨会，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 37-55 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，Lect。注释计算。科学。11138，37-55（2018；Zbl 1517.68222） 全文： 内政部
塞尔吉奥·拉米雷斯;米盖尔·罗梅罗;卡米洛·罗查;弗兰克·巴伦西亚 空间并发约束编程的实时重写逻辑语义。 （英语） Zbl 1517.68261号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 226-244 (2018).MSC公司：68问题85 03B70号 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Ramírez}等人，Lect。注释计算。科学。11152、226--244（2018；Zbl 1517.68261） 全文： 内政部 哈尔
保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 多学科计算的统一强规范化。 （英语） Zbl 1517.68068号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 205-225 (2018).MSC公司：68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Downen}等人，Lect。注释计算。科学。11152205-225（2018；Zbl 1517.68068） 全文： 内政部 链接
弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛·罗查 证明了方程规范模公理的汇合性。 （英语） Zbl 1517.68159号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 184-204 (2018).MSC公司：2012年第68季度 03B70号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。11152、184--204（2018；Zbl 1517.68159） 全文： 内政部 链接
何塞·梅塞盖尔 广义重写理论与连贯完成。 （英语） Zbl 1517.68166号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 164-183 (2018).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。11152、164--183（2018年；Zbl 1517.68166） 全文： 内政部 链接
卡洛斯·奥拉特;伊莲·皮门特尔;卡米洛·罗查 证明重写逻辑中序列系统的结构性质。 （英语） Zbl 1521.03059号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 115-135 (2018).MSC公司：03B70号 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Lect。注释计算。科学。11152115-135（2018年；兹比尔1521.03059） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 Maude中的结合统一和符号推理模结合性。 （英语） Zbl 1517.68158号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 98-114 (2018).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。11152，98-114（2018；Zbl 1517.68158） 全文： 内政部
奥斯卡·马汀;阿尔贝托·维尔德乔;马丁·奥列特，纳西索 用于组合系统规范的参数化编程。 （英语） Zbl 1517.68246号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 59-75 (2018).MSC公司：60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·马丁}等人，Lect。注释计算。科学。11152，59-75（2018；Zbl 1517.68246） 全文： 内政部
马丁·斯特雷克 结合状态空间生成和SAT求解确定扩展模态逻辑。 （英语） Zbl 1515.68348号 Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 119-135 (2018).MSC公司：68伏15 03B35型 03B45 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Strecker}，莱克特。注释计算。科学。11110119-135（2018；Zbl 1515.68348） 全文： 内政部
圭多州长 实用规范推理与可废止道义逻辑。 （英语） Zbl 1517.68356号 d'Amato，Claudia（编辑）等人，《推理网络》。学习、不确定性、流媒体和可扩展性。2018年9月22日至26日，卢森堡埃什苏尔阿尔泽特，2018年第14届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11078, 1-25 (2018).MSC公司：第68页第27页 03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}，莱克特。注释计算。科学。11078，1-25（2018；Zbl 1517.68356） 全文： 内政部
马哈茂德·萨拉马蒂;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 CTMC和CTMDP的近似时界可达性：Lyapunov方法。 （英语） Zbl 1514.68146号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届国际会议，QEST 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 389-406 (2018).MSC公司：60年第68季度 03B70号 60年28日 第68季度87 90立方厘米 93个B03 93二氧化碳 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Salamati}等人，Lect。注释计算。科学。11024389--406（2018年；兹比尔1514.68146） 全文： 内政部 arXiv公司
马蒂亚斯·拉加德·佩德森;乔治·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 半马尔可夫决策过程模拟的半度量扩展。 （英语） Zbl 1514.68192号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届国际会议，QEST 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 339-355 (2018).MSC公司：第68季度87 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人，Lect。注释计算。科学。11024、339--355（2018；Zbl 1514.68192） 全文： 内政部 链接
靖亚萍;安德鲁·米纳（Andrew S.Miner）。 基于动作和状态的计算树度量语言和算法。 （英语） Zbl 1514.68135号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届国际会议，QEST 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 190-206 (2018).MSC公司：60年第68季度 03B70号 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jing}和\textit{A.S.Miner}，Lect。注释计算。科学。11024、190--206（2018；Zbl 1514.68135） 全文： 内政部
乔瓦尼·巴奇;米克尔·汉森;金·古德斯特兰·拉森 不确定性下加权Kripke结构的验证。 （英语） Zbl 1514.68116号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届国际会议，QEST 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 71-86 (2018).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。11024，71-86（2018；Zbl 1514.68116） 全文： 内政部 链接
艾丽卡·阿尔布拉汉姆;博尔祖·博纳克达尔普尔 HyperPCTL：概率超属性的时序逻辑。 （英语） Zbl 1514.68030号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届国际会议，QEST 2018，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 20-35 (2018).MSC公司：68号30 03B44号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}和\textit{B.Bonakdarpour}，莱克特。注释计算。科学。11024，20-35（2018年；兹比尔1514.68030） 全文： 内政部 arXiv公司
托拜厄斯·格莱纳;亚历山大·斯蒂恩 MET：用形式进行灵活推理的艺术。 （英语） 兹比尔1518.68416 Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 274-284 (2018).MSC公司：68伏15 03B45 PDF格式BibTeX公司 XML格式引用 \textit{T.Gleißner}和\textit{A.Steen}，莱克特。注释计算。科学。11092，274--284（2018；Zbl 1518.68416） 全文： 内政部
圭多州长 模态规则：使用模态运算符扩展可终止逻辑。 （英语） Zbl 1518.68361号 Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 9-30 (2018).MSC公司：第68页第27页 03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}，莱克特。注释计算。科学。11092，9--30（2018；Zbl 1518.68361） 全文： 内政部
胡武阮;泰瑟·图利 对下推系统的调用和返回的时间逻辑进行分支。 （英语） Zbl 1514.68035号 Furia，Carlo A.（编辑）等人，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 326-345 (2018).MSC公司：68号30 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Huu-Vu Nguyen}和\textit{T.Touili}，莱克特。注释计算。科学。11023226-345（2018年；兹比尔1514.68035） 全文： 内政部 arXiv公司 哈尔
林哲;Chakraborty，米希尔·库马尔;马明辉 前粗糙代数中的可判定性：扩展抽象。 （英语） Zbl 1528.03092号 Nguyen，Hung Son（编辑）等人，《粗糙集》。2018年8月20日至24日，越南奎恩，2018年国际JCRS联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11103, 511-521 (2018).MSC公司：03B25号 03G25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lin}等人，Lect。注释计算。科学。11103、511--521（2018；Zbl 1528.03092） 全文： 内政部
马明辉;查克拉博蒂，米希尔·库马尔;林哲 各种拓扑拟布尔代数的序列计算。 （英语） Zbl 1528.03139号 Nguyen，Hung Son（编辑）等人，《粗糙集》。2018年8月20日至24日，越南奎恩，2018年国际JCRS联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11103, 309-322 (2018).MSC公司：03B45 05年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Ma}等人，Lect。注释计算。科学。11103、309--322（2018；Zbl 1528.03139） 全文： 内政部
丹尼尔·普塔瓦拉 剥离也不是那么神秘，也不是异常范围。 （英语） Zbl 1512.91101号 Foret，Annie（编辑）等，《形式语法2018》。2018年8月11日至12日，保加利亚索非亚，2018年FG第23届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10950, 102-120 (2018).MSC公司：91层20 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Puthawala}，莱克特。注释计算。科学。10950、102-120（2018年；Zbl 1512.91101） 全文： 内政部
格林·莫里尔;斯捷潘·库兹涅佐夫;马克斯·卡诺维奇;安德烈·斯克洛夫 带括号形式的Lambek演算的括号归纳法。 （英语） 兹比尔1512.03030 Foret，Annie（编辑）等，《形式语法2018》。2018年8月11日至12日，保加利亚索非亚，2018年FG第23届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10950, 84-101 (2018).MSC公司：03B47号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{G.Morrill}等人，Lect。注释计算。科学。10950，84-101（2018；Zbl 1512.03030） 全文： 内政部 链接
萨宾·拉斯扎科维茨 极简主义文法中的格理论。 （英语） Zbl 1512.91100号 Foret，Annie（编辑）等，《形式语法2018》。2018年8月11日至12日，保加利亚索非亚，2018年FG第23届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10950, 37-61 (2018).MSC公司：91层20 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{S.Laszakovits}，莱克特。注释计算。科学。10950，37-61（2018；Zbl 1512.91100） 全文： 内政部
杰姆·博兹·阿欣;古文，阿尔祖·布尔库 超组合性、MWE和参数替换。 （英语） Zbl 1512.03055号 Foret，Annie（编辑）等，《形式语法2018》。2018年8月11日至12日，保加利亚索非亚，2018年FG第23届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10950, 16-36 (2018).MSC公司：03B65号 91层20 PDF格式BibTeX公司 XML格式引用 \textit{C.Bozšahin}和\textit{A.B.Güven}，莱克特。注释计算。科学。10950，16-36（2018年；兹比尔1512.03055） 全文： 内政部 arXiv公司
城市，卡特琳娜;塞缪尔·尤尔茨基;彼得·米勒 CTL属性的抽象解释。 （英语） Zbl 1511.68092号 波德尔斯基，安德烈亚斯（编辑），《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11002, 402-422 (2018).MSC公司：68号30 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban}等人，Lect。注释计算。科学。11002402--422（2018；Zbl 1511.68092） 全文： 内政部
肯尼思·麦克米兰。;奥德·帕顿 用常春藤对可判定片段进行演绎验证。 （英语） Zbl 1511.68165号 安德烈亚斯·波德尔斯基（编辑），《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11002, 43-55 (2018).MSC公司：60年第68季度 03B70号 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan}和\textit{O.Padon}，莱克特。注释计算。科学。11002，43-55（2018；Zbl 1511.68165） 全文： 内政部
周伟超;李文超 安全意识学徒学习。 （英语） Zbl 1511.68237号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 662-680 (2018).MSC公司：68T05型 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Zhou｝和\textit｛W.Li｝，Lect。注释计算。科学。10981662--680（2018年；Zbl 1511.68237） 全文： 内政部 arXiv公司
埃齐奥·巴托西;罗德里克·布洛姆;德扬·尼科维奇;弗兰茨·罗克 用于在有限跟踪上监视LTL规范的计数语义。 （英语） Zbl 1511.68147号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 547-564 (2018).MSC公司：60年第68季度 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。注释计算。科学。10981、547--564（2018年；Zbl 1511.68147） 全文： 内政部 arXiv公司
阿尔巴古提·奥斯;贾斯汀·徐 基于约束的耦合证明综合。 （英语） Zbl 1511.68065号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 327-346 (2018).MSC公司：68号30 03B70号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Albarghouthi}和\textit{J.Hsu}，莱克特。注释计算。科学。10981327--346（2018年；Zbl 1511.68065） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 从超属性合成反应系统。 （英语） Zbl 1511.68153号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 289-306 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。10981289-306（2018年；兹比尔1511.68153） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;托法、哈泽姆 模型检查定量超属性。 （英语） Zbl 1511.68154号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 144-163 (2018).MSC公司：60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。10981144-163（2018年；Zbl 1511.68154） 全文： 内政部 arXiv公司
尤基·萨塔克;不，Hiroshi 高阶函数程序的命题动态逻辑。 （英语） Zbl 1511.68088号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 105-123 (2018).MSC公司：68号30 03B70号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Satake}和\textit{H.Unno}，Lect。注释计算。科学。10981、105-123（2018年；Zbl 1511.68088） 全文： 内政部
本杰明·法里尼尔;塞巴斯蒂安·巴丁;理查德·博尼肯;玛丽·劳雷·波特 量化公式的模型生成：基于污染的方法。 （英语） Zbl 1511.68247号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 294-313 (2018).MSC公司：68T20型 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Farinier}等人，Lect。注释计算。科学。10982294-313（2018年；兹比尔1511.68247） 全文： 内政部 arXiv公司
拉贝，马库斯·N。;Leander Tentrup公司;卡梅隆·拉斯穆森;Sanjit A.Seshia。 理解和扩展2QBF的增量确定。 （英语） Zbl 1511.68258号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 256-274 (2018).MSC公司：68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rabe}等人，Lect。注释计算。科学。10982256-274（2018年；Zbl 1511.68258） 全文： 内政部 arXiv公司 链接
孔顺浩;阿曼多·索拉勒扎马;高思春 存在的Delta决策程序——针对领域中的所有问题。 （英语） Zbl 1511.68252号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 219-235 (2018).MSC公司：68T20型 03B70号 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kong}等人，Lect。注释计算。科学。10982，219--235（2018；Zbl 1511.68252） 全文： 内政部 arXiv公司 链接
杰罗姆·多赫劳;亚历山大·萨默斯。;城市，卡特里娜;塞韦林·穆格尔;彼得·米勒 数组程序的权限推断。 （英语） 兹比尔1511.68075 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。Cham:施普林格公开赛。莱克特。注释计算。科学。10982, 55-74 (2018).MSC公司：68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dohrau}等人，Lect。注释计算。科学。10982，55-74（2018；Zbl 1511.68075） 全文： 内政部 arXiv公司
鲁斯塔姆·加利姆林;娜塔莎·亚历奇纳;汉斯·范·迪特马什 联盟公告逻辑的模型检查。 （英语） Zbl 1515.68179号 Trollmann，Frank（编辑）等人，KI 2018：人工智能的进展。第41届德国人工智能会议，德国柏林，2018年9月24-28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11117, 11-23 (2018).MSC公司：60年第68季度 03B42号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Galimullin}等人，Lect。注释计算。科学。11117，11--23（2018；Zbl 1515.68179） 全文： 内政部 链接
权永民;金恩赫（Kim，Eunhee） 控制器设计的定量模型检查。 （英语） Zbl 1508.68222号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 292-307 (2018).MSC公司：60年第68季度 03B44号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kwon}和\textit{E.Kim}，莱克特。注释计算。科学。10869、292--307（2018年；Zbl 1508.68222） 全文： 内政部
詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;贝内迪克特·诺德霍夫 CaRet的分支时间变量。 （英语） Zbl 1508.68219号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 153-170 (2018).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人，Lect。注释计算。科学。10869153-170（2018年；兹比尔1508.68219） 全文： 内政部
阿德里安·蓬梅莱;泰瑟·图利 用于下推系统的模型检查HyperLTL。 （英语） 兹比尔1508.68224 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 133-152 (2018).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pommellet}和\textit{T.Touili}，莱克特。注释计算。科学。10869、133--152（2018年；Zbl 1508.68224） 全文： 内政部 哈尔
拉杜·奥西夫 使用分离逻辑进行程序验证。 （英语） Zbl 1508.68062号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 48-62 (2018).MSC公司：68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}，莱克特。注释计算。科学。10869、48-62（2018年；Zbl 1508.68062） 全文： 内政部 哈尔
纪尧姆·伯里;西蒙·克鲁内斯;大卫·德拉哈耶;皮埃尔·卢伊斯·尤夫拉德 自动友好的集合理论B方法。 （英语） Zbl 1507.68341号 迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 409-414 (2018).MSC公司：68V20型 03B35型 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bury}等人，Lect。注释计算。科学。10817、409--414（2018；Zbl 1507.68341） 全文： 内政部
弗拉维奥·费拉罗蒂;塞恩·冈萨雷斯;克劳斯·迪特·施韦;图鲁尔·托雷斯，何塞·马里亚 用高阶逻辑对抽象状态机进行系统细化。 （英语） Zbl 1507.68113号 Butler，Michael（ed.）等人，抽象状态机，Alloy，B，TLA，VDM和Z。第六届国际会议，ABZ 2018，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 204-218 (2018).MSC公司：04年第68季度 03B16号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferrarotti}等人，Lect。注释计算。科学。10817、204--218（2018；Zbl 1507.68113） 全文： 内政部
纪尧姆·杜邦;雅敏阿伊特阿默尔;马克·潘特尔;尼拉杰·库马尔·辛格 基于证据的混合系统开发方法：动态逻辑和Event-B。 （英语） Zbl 1507.68185号 迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 155-170 (2018).MSC公司：60年第68季度 03B70号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Dupont}等人，Lect。注释计算。科学。10817、155--170（2018年；Zbl 1507.68185） 全文： 内政部 哈尔
朱尔·库科维奇;Tran，清海;伊戈尔·康诺夫 从TLA\textsuperscript{+}规范中提取符号转换。 （英语） Zbl 1507.68190号 迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普敦，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 89-104 (2018).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kukovec}等人，Lect。注释计算。科学。10817，89-104（2018；Zbl 1507.68190） 全文： 内政部
彼得·赫尔宾;万达尼米斯卡;佩德罗·贝鲁佐;塞巴斯蒂亚·马萨内特;丹尼尔·鲁伊兹·阿奎莱拉;米查·巴奇恩斯基 模糊Sheffer冲程操作。 （英语） Zbl 1508.03060号 Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2018年6月3日至7日，第17届国际会议，ICAISC 2018，波兰扎科帕内。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10842, 642-651 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Helbin}等人，Lect。注释计算。科学。10842、642--651（2018；Zbl 1508.03060） 全文： 内政部
克雷斯蒂安·约布茨克;彼得·维希·涅夫斯基;安东尼·利格扎 时间旅行推销员问题——基于逻辑和图论的描述。 （英语） Zbl 1508.68335号 Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2018年6月3日至7日在波兰扎科帕内举行的2018年ICAISC第17届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10842, 544-556 (2018).MSC公司：68T20型 03B70号 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Jobczyk}等人，莱克特。注释计算。科学。10842、544--556（2018年；Zbl 1508.68335） 全文： 内政部
Sheila R.M.维洛索。;保罗·A·S·维洛索。;贝内维迪斯，马里奥·R·F·。;Isaque M.S.利马。 在图表和通用模型检查器上。 （英语） Zbl 1508.68226号 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 680-688 (2018).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.M.Veloso}等人，Lect。注释计算。科学。10871、680--688（2018年；Zbl 1508.68226） 全文： 内政部
蒂姆·兰伯特 图标逻辑和理想图表：维特根斯坦方法。 （英语） 兹比尔1528.03042 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 624-639 (2018).MSC公司：03A05号 03-03 01A60型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.兰伯特}，莱克特。注释计算。科学。10871、624--639（2018；Zbl 1528.03042） 全文： 内政部
佐佐木隆志 存在图的多次阅读。 （英语） Zbl 1528.03064号 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 598-604 (2018).MSC公司：03A05号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.佐佐木}，莱克特。注释计算。科学。10871、598--604（2018；Zbl 1528.03064） 全文： 内政部
哈维尔·莱格里斯 存在图是结构推理的基础。 （英语） Zbl 1528.03043号 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 590-597 (2018).MSC公司：03A05号 03B10号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Legris}，莱克特。注释计算。科学。10871、590--597（2018；Zbl 1528.03043） 全文： 内政部
阿塔拉西、志贵 关于皮尔士存在图β部分中删除和插入的转换规则。 （英语） 兹比尔1528.03008 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 582-589 (2018).MSC公司：03A05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Atarashi}，莱克特。注释计算。科学。10871、582--589（2018；Zbl 1528.03008） 全文： 内政部
阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen）;丹尼尔·奇菲 断言图和存在图：比较。 （英语） Zbl 1528.03056号 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 565-581 (2018).MSC公司：03A05号 03B10号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.-V.Pietarinen}和\textit{D.Chiffi}，莱克特。注释计算。科学。10871、565--581（2018；Zbl 1528.03056） 全文： 内政部
马明辉;阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） α图的弱化：拟布尔代数。 （英语） Zbl 1528.03229号 查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 549-564 (2018).MSC公司：03财年03 03B05号 05年3月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Ma｝和\textit｛A.-V.Pietarinen｝，Lect。注释计算。科学。10871、549--564（2018；Zbl 1528.03229） 全文： 内政部
斯文·林杰 欧拉图的序贯演算。 （英语） Zbl 1528.03228号 Chapman，Peter（编辑）等人，《图解表示与推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 399-407 (2018).MSC公司：03财年03 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Linker}，莱克特。注释计算。科学。10871399--407（2018年；Zbl 1528.03228） 全文： 内政部
陶秀婷;李国强 线性时间时序逻辑模型修复的复杂性。 （英语） Zbl 1504.68081号 田聪（编辑）等，结构化面向对象形式语言和方法。2017年11月16日，中国西安，2017年第七届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10795, 69-87 (2018).MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Tao}和\textit{G.Li}，莱克特。注释计算。科学。10795，69-87（2018；Zbl 1504.68081） 全文： 内政部
维勒姆诺瓦克 在模糊类型理论中利用部分函数的第一步。 （英语） Zbl 1514.03044号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 736-748 (2018).MSC公司：03B52号 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák}，Commun（社区）。计算。信息科学。853736-748（2018年；Zbl 1514.03044） 全文： 内政部
迪迪埃·杜布瓦;亨利·普拉德;阿涅斯·里科 比较概念结构的模糊扩展。 （英语） Zbl 1512.68318号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853710-722（2018）中描述。MSC公司：第68页第27页 03A05号 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubois}等人，Commun。计算。信息科学。853、710--722（2018年；Zbl 1512.68318） 全文： 内政部 链接
米查·巴奇恩斯基;卡塔兹纳·米希 广义假设三段论的选定属性，包括R-蕴涵的情况。 （英语） Zbl 1512.03035号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 673-684 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baczyñski}和\textit{K.Mi-si}，Commun。计算。信息科学。853673-684（2018年；Zbl 1512.03035） 全文： 内政部
乌尔苏拉·本特考斯卡;安娜·科尔 某些类型的模糊等价之间的依赖性。 （英语） Zbl 1512.03036号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 661-672 (2018).MSC公司：03B52号 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{U.Bentkowska}和\textit{A.Król}，Commun。计算。信息科学。853、661--672（2018年；Zbl 1512.03036） 全文： 内政部
M·马斯。;Ruiz-Aguilera，D。;琼·托伦斯 \（（U，N）\）-含义的广义模因。 （英语） Zbl 1512.03050号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。第853、649-660页（2018）。MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mas}等人，Commun。计算。信息科学。853649-660（2018年；Zbl 1512.03050） 全文： 内政部
拉奎尔·费尔南德斯·佩拉尔塔;塞巴斯蒂亚·马萨内特 关于广义Yager蕴涵族的特征。 （英语） Zbl 1512.03044号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 636-648 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fernandez-Peralta}和\textit{S.Massanet}，Commun。计算。信息科学。853636-648（2018年；Zbl 1512.03044） 全文： 内政部
塞巴斯蒂亚·马萨内特;胡安·文森特·里埃拉;琼·托伦斯 模糊蕴涵函数的线性和二次构造。 （英语） Zbl 1512.03051号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 623-635 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit｛S.Massanet｝等人，Commun。计算。信息科学。853623-635（2018年；Zbl 1512.03051） 全文： 内政部
刘华文;米查·巴奇恩斯基 模糊边界弱含义。 （英语） Zbl 1512.03049号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 611-622 (2018).MSC公司：03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.-W.Liu}和\textit{M.Baczyñski}，Commun。计算。信息科学。853611--622（2018；Zbl 1512.03049） 全文： 内政部
埃梅尔，阿什扬克 关于uniforms和nullnormals的迁移性。 （英语） Zbl 1512.03034号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 319-328 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{E.Aánsion c}，Commun（通信）。计算。信息科学。853、319--328（2018；Zbl 1512.03034） 全文： 内政部
乔尔·德尼兹 有界格上既不合取也不析取的唯一范数。 （英语） Zbl 1512.03037号 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 310-318 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit｛G.D.Çaylı｝，社区。计算。信息科学。853、310-318（2018；Zbl 1512.03037） 全文： 内政部
斯拉夫卡博德亚诺娃;马丁·卡琳娜 有界格上的零范数和t-算子：重合与差异。 （英语） 兹比尔1514.03043 Medina，Jesús（编辑）等人，知识系统中不确定性的信息处理和管理。理论和基础。第17届国际会议，2018年IPMU，西班牙加的斯，2018年6月11日至15日，会议记录。第一部分查姆：施普林格。Commun公司。计算。信息科学。853, 160-170 (2018).MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bodjanova}和\textit{M.Kalina}，Commun。计算。信息科学。853、160-170（2018年；Zbl 1514.03043） 全文： 内政部