伊利亚州德克雷森佐；萨尔瓦多拉托雷；纱线维纳 直观的下推模块化游戏。 （英语） Zbl 1464.68164号 Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161260-274（2014）。MSC公司：65年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{I.De Crescenzo}等人，《电子》。程序。西奥。计算。科学。（EPTCS）161260--274（2014；Zbl 1464.68164） 全文： arXiv公司 链接
Angelo蒙塔纳里；皮埃特罗·萨拉 基于区间的合成。 （英语） Zbl 1467.68080号 Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161102-115（2014）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，电子。程序。西奥。计算。科学。（EPTCS）161、102--115（2014；Zbl 1467.68080） 全文： arXiv公司 链接
彼得·费蒙维尔；马丁·齐默尔曼 参数线性动态逻辑。 （英语） Zbl 1464.68201号 Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161，60-73（2014年）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}和\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）161，60--73（2014；Zbl 1464.68201） 全文： 链接
克劳迪娅·卡拉佩尔；冯世光；奥利弗·费尔南德斯·吉尔；卡琳·夸斯 关于TPTL和MTL在\（\omega\）-数据字上的表现力。 （英语） Zbl 1464.68159号 埃西克、佐尔坦（编辑）等，《第14届国际自动机和形式语言会议论文集》，AFL’14，塞格德，匈牙利，2014年5月27日至29日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）151174-187（2014）。MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Carapelle}等人，《电子》。程序。西奥。计算。科学。（EPTCS）151174--187（2014；Zbl 1464.68159） 全文： arXiv公司 链接
Dimitar P.Guelev。 精炼和授权ATL的战略能力。 （英语） Zbl 1464.68203号 Mogavero，Fabio（编辑）等人，《第二届战略推理国际研讨会论文集》，SR'14，法国格勒诺布尔，2014年4月5-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）146，57-63（2014）。MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}，电子。程序。西奥。计算。科学。（EPTCS）146，57--63（2014；Zbl 1464.68203） 全文： arXiv公司 链接
黄晓伟；罗恩·范德梅登 认知策略逻辑（扩展抽象）。 （英语） Zbl 1464.03016号 Mogavero，Fabio（编辑）等人，《第二届战略推理国际研讨会论文集》，SR'14，法国格勒诺布尔，2014年4月5-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）146，35-41（2014）。MSC公司：03B42号 03B44号 65年第68季度 60年第68季度 68T27型 68T42型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}和\textit{R.van der Meyden}，电子。程序。西奥。计算。科学。（EPTCS）146，35--41（2014；Zbl 1464.03016） 全文： arXiv公司 链接
弗朗西斯科·贝拉迪内利 关于知识和策略的推理：认知策略逻辑。 （英语） Zbl 1464.03015号 Mogavero，Fabio（编辑）等人，《第二届战略推理国际研讨会论文集》，SR'14，法国格勒诺布尔，2014年4月5-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）146，27-33（2014）。MSC公司：03B42号 03B44号 65年第68季度 60年第68季度 68T27型 68T42型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}，电子。程序。西奥。计算。科学。（EPTCS）146，27-33（2014年；兹bl 1464.03015） 全文： arXiv公司 链接
科迪·吉尔摩 在时空之外建造经久耐用的物体。 （英语） Zbl 1436.00034号 Calosi，Claudio（编辑）等人，《梅洛洛奇与科学》。当代科学背景下的部分与整体。查姆：斯普林格。合成。伦敦银行同业拆借利率。371, 5-34 (2014).MSC公司：00A30型 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{C.Gilmore}，Synth。伦敦银行同业拆借利率。371、5--34（2014；Zbl 1436.00034） 全文： 内政部 链接
威廉·曼斯基；埃尔萨·甘特。 验证并发程序的优化。 （英语） Zbl 1428.68124号 Schmidt-Schauß，Manfred（ed.）等人，《程序转换和评估重写技术第一次国际研讨会》，WPTE'14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 15-26 (2014).MSC公司：68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Mansky}和\textit{E.L.Gunter}，OASIcs--开放存取服务。通知。40、15-26（2014年；Zbl 1428.68124） 全文： 内政部
劳拉·弗洛伦蒂娜·斯托伊卡；弗罗林·斯托伊卡；Boian、Florian Mircea 在基于代理的应用程序中使用ATL模型检查。 （英语） 兹比尔1410.68238 Simian，Dana（编辑），智能系统的建模和开发。第三届国际会议记录，2013年10月10日至12日，罗马尼亚锡比乌。Sibiu：《卢西恩·布拉加》大学出版社。127-135 (2014).MSC公司：60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{L.F.Stoica}等人，in：智能系统的建模和开发。第三届国际会议记录，2013年10月10-12日，罗马尼亚锡比乌。锡比乌：“卢西安·布拉加”大学出版社。127-135（2014；Zbl 1410.68238）
安东内拉·桑顿；吉利奥拉·瓦格利尼 简化跟踪系统上的模型检查属性。 （英语） Zbl 1461.68119号 算法（巴塞尔协议） 7，第3期，339-362（2014）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini}，算法（巴塞尔）7，第3期，339--362（2014；Zbl 1461.68119） 全文： 内政部
安德烈亚·拉科纳 \（T\ times W\）认知情态。 （英语） Zbl 1406.03043号 Fano，Vincenzo（编辑）等人，《空间与时间》。先验和后验研究。柏林：De Gruyter（ISBN 978-3-11-034549-0/hbk；978-3-11-034892-7/电子书）。《哲学分析/哲学分析》54，195-207（2014）。MSC公司：03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Lacona}，菲洛斯。分析。54、195-207（2014；Zbl 1406.03043）
布鲁诺·洛佩斯；贝内维迪斯，马里奥；爱德华·赫尔曼·海尔 Petri网的命题动态逻辑。 （英语） Zbl 1407.68335号 日志。J.IGPL公司 22，第5期，721-736（2014）.MSC公司：68问题85 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Lopes}等人，日志。J.IGPL 22，第5号，721--736（2014；Zbl 1407.68335） 全文： 内政部 链接
沃伊切赫Dzik；朱尼·Järvinen；Michiro近藤 用伽罗瓦连接表征中间时态逻辑。 （英语） Zbl 1405.03069号 日志。J.IGPL公司 22，第6期，992-1018（2014）.MSC公司：03B55号 03B44号 03G25号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit｛W.Dzik｝等人，日志。J.IGPL 22，第6号，992--1018（2014；Zbl 1405.03069） 全文： 内政部 arXiv公司
卢卡·阿尔贝鲁奇；于尔格Krähenbühl；托马斯·施图德 证明模态公式归纳法的合理性。 （英语） Zbl 1405.03046号 日志。J.IGPL公司 22，第6号，805-817（2014）.MSC公司：03B45 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}等人，日志。J.IGPL 22，第6号，805--817（2014；Zbl 1405.03046） 全文： 内政部 链接
杨晓晓；张瑜；傅明；冯新余 基于投影时态逻辑的原子块时态编程模型。 （英语） Zbl 1403.68042号 前面。计算。科学。 8，第6号，958-976（2014）.MSC公司：68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛X.Yang｝等人，前。计算。科学。8、第6号958--976（2014；Zbl 1403.68042） 全文： 内政部
贾纳丹·米斯拉；苏曼·罗伊 基于可判定超时的线性时序逻辑扩展。 （英语） Zbl 1398.03081号 J.应用。非类别。日志。 24，第3期，262-291（2014）.MSC公司：03B44号 03B47号 03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}和\textit{S.Roy}，J.Appl。非类别。日志。24，第3号，262--291（2014；Zbl 1398.03081） 全文： 内政部
瓦伦丁·谢特曼 标准过滤和局部表格。 （英语） Zbl 1385.03027号 Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。498-512 (2014).MSC公司：03B45 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Shehtman}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。498-512（2014；Zbl 1385.03027）
雷娜特·施密特（Renate A.Schmidt）。；约翰·G·斯特尔。；大卫·赖德海尔 关于\（Kt（H，R）\）的公理化和基于表格的推理。 （英语） Zbl 1385.03026号 Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。478-497 (2014).MSC公司：03B45 03B25号 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。478--497（2014；Zbl 1385.03026）
马克·雷诺兹 实域上时序逻辑的一个画面。 （英语） Zbl 1385.03014号 Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。439-458 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。439--458（2014；Zbl 1385.03014）
瓦伦丁·戈兰科；Steen背心 交替时间时序逻辑片段中可满足性的最优决策程序。 （英语） Zbl 1385.03013号 Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。234-253 (2014).MSC公司：03B44号 68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{S.Vester}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。234--253（2014；Zbl 1385.03013）
法语，蒂姆；詹姆斯·黑尔斯；埃德温·泰伊 动作模型的可组合语言。 （英语） Zbl 1385.03007号 Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。197-216 (2014).MSC公司：03B42号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{T.French}等人，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。197-216（2014；Zbl 1385.03007） 全文： arXiv公司
斯特凡·德姆里；Deters，摩根 分离逻辑中模式的影响（扩展抽象）。 （英语） Zbl 1385.03036号 Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。134-138 (2014).MSC公司：03B70号 03B45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。134--138（2014；Zbl 1385.03036）
彼得里克·马雷蒂奇（Petric Maretić，Grgur）；穆罕默德·托拉比·达什蒂；戴维·巴恩斯 锚定LTL分离。 （英语） Zbl 1394.03034号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第74号论文，第9页（2014年）。MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Petric Maretić}等人，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第74号论文，第9页（2014；Zbl 1394.03034） 全文： 内政部
埃里克·科斯基宁；大雄县Terauchi 局部时间推理。 （英语） Zbl 1401.68203号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第59号论文，第10页（2014年）。MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Koskinen}和\textit{T.Terauchi}，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第59号论文，第10页（2014；Zbl 1401.68203） 全文： 内政部
Joost-Pieter卡托恩；宋磊；张丽君 可能安全或活着。 （英语） Zbl 1394.68231号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第55号论文，第10页（2014年）。MSC公司：60年第68季度 03B44号 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第55号论文，10页（2014；Zbl 1394.68231） 全文： 内政部 arXiv公司 链接
阿兰·杰弗里 功能反应型。 （英语） Zbl 1394.68065号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第54号论文，第9页（2014年）。MSC公司：68甲18 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}，in：2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第54号论文，第9页（2014；Zbl 1394.68065） 全文： 内政部
克里斯特尔·拜尔；约阿希姆·克莱因；Klüppelholz，萨沙；萨沙·旺德利希 线性时序逻辑重量监控：复杂性和可判定性。 （英语） 兹比尔1401.68182 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第11号论文，第10页（2014年）。MSC公司：60年第68季度 03B44号 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第11号论文，第10页（2014；Zbl 1401.68182） 全文： 内政部
尤金·亚萨林；米歇尔·布洛克莱特；奥尔德里克·德戈尔；柯特林·迪马；穆春燕 时间逻辑中的渐近行为。 （英语） Zbl 1394.03031号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第10号论文，第9页（2014年）。MSC公司：03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第10号论文，第9页（2014；Zbl 1394.03031） 全文： 内政部 链接
牛，尼尔斯；沃伊切赫·贾姆罗加；马泰·波波维奇 \（mathsf{ATL}^\star\）具有真正完美的回忆：表达性和有效性。 （英语） Zbl 1366.03183号 Schaub，Torsten（编辑）等人，ECAI 2014。第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录（PAIS 2014）。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-418-3/pbk；978-1-6499-419-0/ebook）。人工智能和应用前沿263177-182（2014）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，前面。Artif公司。智力。申请。263177-182（2014年；Zbl 1366.03183） 全文： 链接
娜塔莎·亚历奇纳；布赖恩·洛根；Nguyen、Hoang Nga；佛朗哥·雷蒙迪 资源逻辑与资源生产的可决定模型检查。 （英语） Zbl 1366.68161号 Schaub，Torsten（编辑）等人，ECAI 2014。第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录（PAIS 2014）。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-418-3/pbk；978-1-6499-419-0/ebook）。《人工智能与应用前沿》263，9-14（2014）。MSC公司：60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，前面。Artif公司。智力。申请。263、9-14（2014年；Zbl 1366.68161） 全文： 链接
斯坦尼斯·瓦·基祖克 因果命题的逻辑。 （英语） Zbl 1364.03011号 日志。日志。菲洛斯。 23，第4期，403-448（2014）.MSC公司：03A05号 03B05号 01A20号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiczuk}，日志。日志。菲洛斯。23，第4号，403--448（2014；Zbl 1364.03011） 全文： 内政部
刘军；内克米耶·奥扎伊 动态系统时序逻辑控制中的抽象化、离散化和鲁棒性。 （英语） Zbl 1362.93058号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。293-302 (2014).MSC公司：93亿B50 03B80号 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{N.Ozay}，in：第17届ACM混合系统国际会议论文集：计算和控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。293--302（2014；Zbl 1362.93058） 全文： 内政部
孔昭丹；奥斯汀·琼斯；阿纳州麦地那阿亚拉；艾丁·戈尔（Ebru Aydin Gol）；卡林·贝尔塔 从数据进行分类和预测的时序逻辑推理。 （英语） Zbl 1362.68266号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。273-282 (2014).MSC公司：68T27型 03B44号 68T05型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kong}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。273--282（2014年；Zbl 1362.68266） 全文： 内政部
丁旭初；斯蒂芬·史密斯。；卡林·贝尔塔；丹妮拉·罗斯 线性时序逻辑约束下马尔可夫决策过程的最优控制。 （英语） Zbl 1360.90276号 IEEE传输。自动。控制 59，第5期，1244-1257（2014）.MSC公司：90立方厘米 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Ding}等人，IEEE Trans。自动。对照59，编号5，1244--1257（2014；Zbl 1360.90276） 全文： 内政部
宋，傅；吴志林 用数据变量量化扩展时序逻辑。 （英语） Zbl 1360.68600号 Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，253-265（2014）。MSC公司：60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu}，LIPIcs——莱布尼茨国际程序。通知。29253--265（2014年；Zbl 1360.68600） 全文： 内政部
托法、哈泽姆；马丁·齐默尔曼 线性时间时序逻辑计数模型的复杂性。 （英语） Zbl 1360.68603号 Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，241-252（2014）。MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Torfah}和\textit{M.Zimmermann}，LIPIcs——莱布尼茨国际程序。通知。29、241--252（2014；Zbl 1360.68603） 全文： 内政部 arXiv公司
于斌；段振华；田聪 红绿灯控制系统的有界模型检验。 （英语） Zbl 1351.68169号 薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，63-74，仅电子版（2014）。MSC公司：60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人，《电子》。注释Theor。计算。科学。309、63-74（2014年；Zbl 1351.68169） 全文： 内政部
刘熙；杨绍发；J.W.桑德斯。 设计补偿。 （英语） Zbl 1342.68136号 正式Asp。计算。 26，第4期，623-676（2014）.MSC公司：2010年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}等人，正式Asp。计算。26，第4号，623--676（2014；Zbl 1342.68136） 全文： 内政部
普利乌什凯维奇乌斯，里贾曼塔斯 命题线性时序逻辑的标记方法。 （英语） Zbl 1335.03019号 谎言。垫环。，程序。岩性。数学。Soc.，爵士。A类 55, 46-50 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，Liet（列特）。垫环。，程序。岩性。数学。Soc.，爵士。A 55，46--50（2014；Zbl 1335.03019） 全文： 内政部
奥尔纳·格伦伯格；奥尔纳·库普弗曼；莎莱·申瓦尔德 模拟数据参数化系统的游戏理论方法。 （英语） Zbl 1448.68300号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8837348-363（2014年）。MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。票据计算。科学。8837348-363（2014年；兹比尔1448.68300） 全文： 内政部
祖扎纳科马尔科娃；简·Křetínsk Rabinizer 3:LTL到小型确定性自动机的非安全转换。 （英语） Zbl 1448.68268号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8837235-241（2014年）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Komárková}和\textit{J.Křetínskí}，Lect。票据计算。科学。8837、235--241（2014；Zbl 1448.68268） 全文： 内政部
帕特里夏·鲍耶；帕特里克·加迪；尼古拉斯·马基 加权Kripke结构的定量验证。 （英语） Zbl 1448.68287号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8837, 64-80 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。票据计算。科学。8837，64-80（2014；Zbl 1448.68287） 全文： 内政部
阿尔多·菲加洛五世。；古斯塔沃·佩莱泰 埃瓦尔德直觉主义时态逻辑的代数公理化。 （英语） Zbl 1325.03018号 软计算。 18，第10号，1873-1883（2014）.MSC公司：03B44号 03B20型 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Figallo}和\textit{G.Pelaitay}，软计算。18，第10号，1873--1883（2014；Zbl 1325.03018） 全文： 内政部
何希明 度量时间逻辑在有界时间词上的表达性。 （英语） Zbl 1448.03011号 Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8762, 138-150 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}，莱克特。票据计算。科学。8762138-150（2014；Zbl 1448.03011） 全文： 内政部 链接
斯特凡·德姆里；阿米特·达尔；阿诺德·桑尼尔 模型检查平面计数器系统和Presburger算法之间的等效性。 （英语） Zbl 1393.68101号 Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。计算机科学课堂讲稿8762，85-97（2014）。MSC公司：60年第68季度 03B44号 03英尺30英寸 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，Lect。票据计算。科学。8762，85-97（2014年；兹bl 1393.68101） 全文： 内政部 哈尔
阿基尔·弗里吉里；莉莉亚娜·帕斯奎尔；鲍拉·斯波莱蒂尼 线性时序逻辑中的模糊时间。 （英语） Zbl 1354.03021号 ACM事务处理。计算。日志。 第15号第4条第30条第22页（2014年）.MSC公司：03B44号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{A.Frigeri}等人，ACM Trans。计算。日志。第15号第4条第30条第22页（2014年；Zbl 1354.03021） 全文： 内政部 链接
乌迪·博克；克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳·库普弗曼 具有累计值的时间规格。 （英语） Zbl 1354.68169号 ACM事务处理。计算。日志。 第15号第4条第27条第25页（2014年）.MSC公司：60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人，ACM Trans。计算。日志。15，第4号，第27条，第25页（2014；Zbl 1354.68169） 全文： 内政部
亚历山德罗·阿塔尔；罗马人孔查科夫；弗拉迪斯拉夫·里日科夫；扎卡里亚舍夫，迈克尔 带有描述逻辑的时间概念数据建模食谱。 （英语） Zbl 1354.68245号 ACM事务处理。计算。日志。 第15号第3条第25条第50页（2014年）.MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，ACM翻译。计算。日志。15，第3号，第25条，50页（2014；Zbl 1354.68245） 全文： 内政部 arXiv公司 链接
克里斯蒂安·莫里纳罗；斯利瓦，艾米；苏布拉曼尼亚，V.S。 超解：用溯因注释概率时序逻辑简洁地表示解。 （英语） 兹比尔1354.68038 ACM事务处理。计算。日志。 第15号第3条第18条第35页（2014年）.MSC公司：68N17号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Molinaro}等人，ACM Trans。计算。日志。第15号第3条第18条第35页（2014年；Zbl 1354.68038） 全文： 内政部
巴尔塔萨尔·特兰科尼·维德曼 通过余代数系统地构建动力系统的时序逻辑。 （英语） Zbl 1445.03018号 Bonsange，M.（编辑），计算机科学中的协代数方法。2014年4月5日至6日，第12届IFIP工作组1.3国际研讨会，CMCS 2014，与ETAPS 2014合办，法国格勒诺布尔。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8446, 211-224 (2014).MSC公司：03B44号 03G30型 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Trancón y Widemann}，莱克特。票据计算。科学。8446，211-224（2014；Zbl 1445.03018） 全文： 内政部 arXiv公司 哈尔
托马斯·布里海耶；埃斯蒂文纳特，摩根；吉勒·杰勒茨 关于MITL和无限单词上的交替时间自动机。 （英语） Zbl 1448.68291号 Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8711, 69-84 (2014).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。票据计算。科学。8711，69-84（2014年；兹bl 1448.68291） 全文： 内政部 arXiv公司
埃齐奥·巴托西；卢卡·博托卢西；吉多·桑吉内蒂 时态逻辑属性的数据驱动统计学习。 （英语） 兹比尔1448.68371 Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8711, 23-37 (2014).MSC公司：68T05型 03B44号 62页第10页 92立方厘米 93B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。票据计算。科学。8711，23-37（2014；Zbl 1448.68371） 全文： 内政部
马蒂奥·比安奇 幂零最小逻辑的时间语义。 （英语） Zbl 1316.03010号 国际J近似推理 55，第4部分第1号，391-401（2014）.MSC公司：03B50号 03电子72 PDF格式BibTeX公司 XML格式引用 \textit{M.Bianchi}，《国际近似推理》55，第1期，第4部分，391--401（2014；Zbl 1316.03010） 全文： 内政部 arXiv公司
李永明 两种可能的线性时序逻辑模型检查方法。 （中文。英文摘要） Zbl 1324.68059号 J.陕西省标准。大学，自然科学。预计起飞时间。 第42页，第6期，21-25页（2014年）.MSC公司：60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}，J.陕西规范。大学，自然科学。第42版，第6、21--25号（2014；Zbl 1324.68059）
朱伟军；乔、彭哲；周庆雷；张海滨 在时间间隔时序逻辑的统一方法中对实时系统进行模型检查。 （中文。英文摘要） Zbl 1324.68060号 J.电子大学。科学。Technol公司。中国 43，第5期，712-716（2014）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Zhu｝等人，美国电子大学。科学。Technol公司。中国43，No.5，712--716（2014；Zbl 1324.68060） 全文： 内政部
肖云涛；欧琳琳；于、李 基于线性时序逻辑的最优巡检路径规划。 （中文。英文摘要） Zbl 1324.90184号 《汽车学报》。罪恶。 40，第10号，2126-2133（2014）.MSC公司：90立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xiao}等人，《汽车学报》。罪恶。40，第10号，2126--2133（2014；Zbl 1324.90184）
沃纳·什尼亚克（Bożena）；安德烈·兹布雷泽兹尼 通过有界模型检查检查离散时间自动机的MTL属性。 （英语） Zbl 1322.68135号 芬丹。通知。 135，第4号，553-568（2014）.MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny}，Fundam。通知。135，第4号，553--568（2014；Zbl 1322.68135） 全文： 内政部
潘海宇；张敏；吴，衡阳；陈一香 格值Kripke结构的定量分析。 （英语） Zbl 1354.03028号 芬丹。通知。 135，第3号，269-293（2014）.MSC公司：03B50号 03B52号 03B44号 03G25号 06D20日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人，Fundam。通知。135，第3号，269--293（2014；Zbl 1354.03028） 全文： 内政部
瓦伦丁·戈兰科；埃里克·帕奎特 知识动态的时间方面。 （英语） Zbl 1431.03029号 Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：斯普林格。Outst公司。控制日志。5, 235-266 (2014).MSC公司：03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{E.Pacuit}，Outst。控制日志。5235——266（2014年；Zbl 1431.03029） 全文： 内政部
拉多斯·奥·克里梅克 面向工作流的软件模型的基于演绎的形式化验证系统。 （英语） 兹比尔1309.68131 国际期刊申请。数学。计算。科学。 24，第4期，941-956（2014）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Klimek}，国际期刊应用。数学。计算。科学。24，第4号，941--956（2014；Zbl 1309.68131） 全文： 内政部 arXiv公司
斯坦尼斯·瓦·基祖克 变化逻辑系统。 （英语） Zbl 1321.03045号 日志。日志。菲洛斯。 23，第2期，203-238（2014）.MSC公司：03B60号 03A10号 00A79号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiczuk}，日志。日志。菲洛斯。23，编号2203-238（2014；兹bl 1321.03045） 全文： 内政部
尼古拉·希洛夫五世。 命题程序和时序逻辑基于自动机的公理化设计方法（以线性时序逻辑为例）。 （英语） Zbl 1344.03021号 Brattka，Vasco（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。Ontos数学逻辑4，297-324（2014）。MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}，Ontos数学。日志。4297-324（2014；Zbl 1344.03021）
伊利亚·扎尔迪尼 背景和后果。互文子结构逻辑。 （英语） 兹比尔1310.03014 合成 191，第15号，3473-3500（2014）.MSC公司：03A05号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{E.Zardini}，Synthese 191，No.15，3473-3500（2014；Zbl 1310.03014） 全文： 内政部
阿尔多·菲加洛五世。；古斯塔沃·佩莱泰 De Morgan代数上的时态算子。 （英语） 兹比尔1347.06012 日志。J.IGPL公司 22，第2期，255-267（2014）. 审核人：Lavinia Ciungu（爱荷华市） MSC公司：06时30分 03G25号 03B44号 06年50月 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Figallo}和\textit{G.Pelaitay}，Log。J.IGPL 22，第2期，255--267（2014；Zbl 1347.06012） 全文： 内政部
J·拉斯加。；塞尔纳达斯，A。；塞尔纳达斯，C。 纤维作为双向运动包括不对称组合。 （英语） Zbl 1344.03031号 螺柱日志。 102，第5期，1041-1074（2014）.MSC公司：03B62型 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人，研究日志。102，第5号，1041--1074（2014；Zbl 1344.03031） 全文： 内政部
弗拉基米尔·里巴科夫 线性时序逻辑中的投影公式和统一{长期贷款}_{U} \）。 （英语） 兹伯利1342.03017 日志。J.IGPL公司 22，第4期，665-672（2014）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，日志。J.IGPL 22，第4号，665--672（2014；Zbl 1342.03017） 全文： 内政部
程坤；夏有明；高嘉乐 基于时间区间关系的时间模糊DLs研究。 （中文。英文摘要） Zbl 1313.68213号 云南大学自然科学。 36，第3期，335-340（2014）.MSC公司：68T27型 03B44号 03B52号 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.Cheng}等人，云南大学，自然科学。36，第3号，335--340（2014；Zbl 1313.68213）
Shan、Laixiang；秦、郑；陆新业；陆正才 一种从线性时序逻辑到Büchi自动机的实时转换算法。 （中文。英文摘要） Zbl 1313.68069号 清华大学理工学院。Technol公司。 54，第2期，281-288（2014）.MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Shan}等人，清华大学，科学。Technol公司。54，第2281-288号（2014年；兹bl 1313.68069）
伊恩·霍德金森 关于实线上“现在左右”的Priorean时序逻辑。 （英语） Zbl 1335.03018号 J.日志。计算。 24，第5期，1071-1110（2014）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}，J.Log。计算。24，第5号，1071--1110（2014；Zbl 1335.03018） 全文： 内政部
沙乌尔·阿尔马戈；乌迪·博克；奥尔纳·库普弗曼 LTL折扣。 （英语） Zbl 1477.68163号 阿尔布拉哈姆，埃里卡（编辑）等人，《系统构建和分析的工具和算法》。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8413, 424-439 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人，Lect。票据计算。科学。8413，424--439（2014；Zbl 1477.68163） 全文： 内政部 arXiv公司
蒂亚戈，德利马 交替时间动态认知逻辑。 （英语） Zbl 1338.03028号 J.日志。计算。 24，第6期，1145-1178（2014）.MSC公司：03B44号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{T.de Lima}，J.Log。计算。24，第6号，1145--1178（2014；Zbl 1338.03028） 全文： 内政部
拉鲁西尼，弗朗索瓦；尼古拉斯·马基 量化CTL：表达性和复杂性。 （英语） Zbl 1448.68304号 日志。方法计算。科学。 10，第4号，第17号论文，45页（2014）.MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey}，日志。方法计算。科学。10，第4号，第17号论文，45页（2014；Zbl 1448.68304） 全文： 内政部 arXiv公司
尤西·林塔南 计算时间不变量的基于约束的算法。 （英语） Zbl 1432.68419号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 665-673 (2014).MSC公司：68T20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.林丹恩}，莱克特。票据计算。科学。8761、665--673（2014年；Zbl 1432.68419） 全文： 内政部
迭戈·卡尔瓦内斯；塞兰、伊斯梅尔·伊尔坎；马尔科·蒙塔利；阿里奥·桑托索 验证上下文相关知识和行动基础。 （英语） 兹比尔1432.68456 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 514-528 (2014).MSC公司：68立方英尺 03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。票据计算。科学。8761、514--528（2014年；Zbl 1432.68456） 全文： 内政部 arXiv公司
卢卡·埃特罗；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；Angelo蒙塔纳里；圭多·西亚维科 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 （英语） Zbl 1432.03027号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 267-281 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。票据计算。科学。8761，267--281（2014；Zbl 1432.03027） 全文： 内政部 链接
大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 艾伦关系的区间时间逻辑的次传播片段。 （英语） Zbl 1432.03028号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 122-136 (2014).MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bresolin｝等人，Lect。票据计算。科学。8761、122--136（2014年；Zbl 1432.03028） 全文： 内政部
库什拉伊·马德纳尼；桑卡拉·纳拉亚南·克里希纳；帕里托什·K·潘迪亚。 在超时单词的\（\mathbf{MTL}\）和\（\mathbf{TPTL}\）的一元片段上。 （英语） Zbl 1432.03029号 Ciobanu，Gabriel（编辑）等人，《计算的理论方面——ICTAC 2014》。第十一届国际学术讨论会，罗马尼亚布加勒斯特，2014年9月17日至19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8687, 333-350 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Madnani}等人，Lect。票据计算。科学。8687、333--350（2014年；Zbl 1432.03029） 全文： 内政部
彼得·贝兹克；尼古拉·贝内什；沃伊特·哈维尔；JiříBarnat；伊万娜·乔纳 定时自动机的时钟软件LTL属性。 （英语） Zbl 1432.68256号 Ciobanu，Gabriel（编辑）等人，《计算的理论方面——ICTAC 2014》。第十一届国际学术讨论会，罗马尼亚布加勒斯特，2014年9月17日至19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8687, 43-60 (2014).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人，Lect。票据计算。科学。8687，43-60（2014；Zbl 1432.68256） 全文： 内政部
卢卡·维甘诺；马尔科·沃尔佩；玛格丽塔·佐齐 量子态变换和分支分布式时序逻辑。受邀论文。 （英语） Zbl 1372.68190号 Kohlenbach，Ulrich（编辑）等人，《逻辑、语言、信息和计算》。2014年9月1日至4日，第21届国际研讨会，WoLLIC 2014，智利瓦尔帕莱索。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44144-2/pbk）。计算机科学讲座笔记8652，1-19（2014）。MSC公司：68问题85 03B44号 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{L.Viganó}等人，Lect。票据计算。科学。8652，1-19（2014；Zbl 1372.68190） 全文： 内政部
彼得·费蒙维尔；伯恩德·芬克贝纳；多龙·贝利德 监测参数时序逻辑。 （英语） Zbl 1428.68184号 McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8318, 357-375 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}等人，莱克特。票据计算。科学。8318，357--375（2014；Zbl 1428.68184） 全文： 内政部
基尼，迪利普；马赫什·维斯瓦纳坦 安全规范的概率自动机。 （英语） Zbl 1428.68186号 McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8318, 118-136 (2014).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kini}和\textit{M.Viswanathan}，莱克特。票据计算。科学。8318，118--136（2014；Zbl 1428.68186） 全文： 内政部
米查·纳皮克；沃伊切赫·彭泽克 定时Kripke结构的参数合成。 （英语） Zbl 1317.68118号 芬丹。通知。 133，编号2-3，211-226（2014）.MSC公司：60年第68季度 第68季度55 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Knapik}和\textit{W.Penczek}，Fundam。通知。133，编号2--3，211-226（2014；Zbl 1317.68118） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；Angelo蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 强离散线性序上的区间时序逻辑：表达性和复杂性。 （英语） 兹比尔1335.03017 西奥。计算。科学。 560，第3部分，269-291（2014）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Theor。计算。科学。560，第3部分，269--291（2014；Zbl 1335.03017） 全文： 内政部
马可·科米尼；劳拉·蒂托洛；艾丽西亚·维拉纽瓦 使用线性时序逻辑对tccp进行抽象诊断。 （英语） Zbl 1307.68049号 理论与实践。日志。程序。 14，No.4-5，787-801（2014）.MSC公司：60年第68季度 03B44号 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人，《理论与实践》。日志。程序。14、编号4--5、787--801（2014；Zbl 1307.68049） 全文： 内政部 arXiv公司
Franz巴德；马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 （英语） Zbl 1310.68140号 J.应用。日志。 2014年第4期第12期第584-613页.MSC公司：60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann}，J.Appl。日志。12，第4号，584--613（2014；Zbl 1310.68140） 全文： 内政部
马尔塞洛·贝尔萨尼。；阿基尔·弗里吉里；安杰洛·莫尔岑蒂；普拉德拉，马泰奥；罗西，马蒂奥；圣彼得罗，皮耶路易吉 无自动机约束LTL可满足性检查。 （英语） Zbl 1310.68141号 J.应用。日志。 12，第4期，522-557（2014）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Bersani}等人，J.Appl。日志。12，第4号，522--557（2014；Zbl 1310.68141） 全文： 内政部 arXiv公司
贝内迪克特·博利格；Cyriac，艾斯瓦里亚；保罗·加斯丁；马克·泽顿 并发递归程序的时态逻辑：可满足性和模型检查。 （英语） Zbl 1310.68142号 J.应用。日志。 12，第4号，395-416（2014）.MSC公司：60年第68季度 03B44号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，J.Appl。日志。12，第4号，395--416（2014；Zbl 1310.68142） 全文： 内政部
伊凡·查伊达；赫尔穆特·Länger 数值事件空间上的时态算子。 （英语） Zbl 1302.81033号 国际J.Theor。物理学。 53，第10号，3456-3464（2014）.MSC公司：81页第10页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Chajda}和\textit{H.Länger}，国际期刊Theor。物理学。53，第10号，3456--3464（2014；Zbl 1302.81033） 全文： 内政部
Angelo蒙塔纳里；加布里埃尔，小狗；皮埃特罗·萨拉 区间时间逻辑对有理数的判定性。 （英语） Zbl 1426.03018号 Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。票据计算。科学。8634, 451-463 (2014).MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Lect。票据计算。科学。8634，451--463（2014；Zbl 1426.03018） 全文： 内政部
罗伊·门尼克 使用时态逻辑对并发递归程序进行模型检查。 （英语） Zbl 1425.68263号 Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。票据计算。科学。8634, 438-450 (2014).MSC公司：60年第68季度 03B44号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \发短信{R.Mennicke}，Lect。票据计算。科学。8634，438--450（2014；Zbl 1425.68263） 全文： 内政部
马尔塞洛·贝尔萨尼。；罗西，马蒂奥；圣彼得罗，皮耶路易吉 定时（非）正则语言的逻辑特征。 （英语） Zbl 1426.03017号 Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。票据计算。科学。8634, 75-86 (2014).MSC公司：03B44号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人，Lect。票据计算。科学。8634，75-86（2014；Zbl 1426.03017） 全文： 内政部 链接
汉斯·范·迪特马什；索菲亚·奈特 部分信息和统一策略。 （英语） Zbl 1425.68397号 Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8624, 183-198 (2014).MSC公司：68T27型 03B42号 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}和\textit{S.Knight}，莱克特。票据计算。科学。8624，183--198（2014；Zbl 1425.68397） 全文： 内政部
Jerzy Pilecki；马雷克·贝德纳奇克（Marek A.Bednarczyk）。；沃伊切赫·贾姆罗加 多智能体系统统一策略的综合与验证。 （英语） Zbl 1425.68419号 Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8624, 166-182 (2014).MSC公司：68T42型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pilecki}等人，Lect。票据计算。科学。8624，166--182（2014；Zbl 1425.68419） 全文： 内政部
娜塔莎·亚历奇纳；范德霍克，威比；布赖恩·洛根 根据社会规范公平分配小组任务。 （英语） Zbl 1425.68416号 Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8624, 19-34 (2014).MSC公司：68T42型 03B44号 68T27型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，Lect。票据计算。科学。8624，19-34（2014；Zbl 1425.68416） 全文： 内政部
张楠；段振华；田聪；杜定珠 PPTL公理系统中截止期驱动调度器的形式化证明。 （英语） Zbl 1360.68771号 西奥。计算。科学。 554, 229-253 (2014).MSC公司：68吨15 03B44号 68平方米 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Theor。计算。科学。554229-253（2014年；Zbl 1360.68771） 全文： 内政部
段振华；田聪 具有无限模型的命题投影时序逻辑的实用决策过程。 （英语） Zbl 1358.68188号 西奥。计算。科学。 554, 169-190 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Duan｝和\textit｛C.Tian｝，Theor。计算。科学。554169-190（2014年；兹比尔1358.68188） 全文： 内政部
段振华；田聪；张楠 命题投影时序逻辑的范式表达。 （英语） 兹比尔1423.68278 蔡志鹏（编辑）等，《计算与组合学》。2014年8月4日至6日，第20届国际会议，2014年COCOON，美国佐治亚州亚特兰大。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8591, 84-93 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Lect。票据计算。科学。8591，84-93（2014；Zbl 1423.68278） 全文： 内政部
张楠；段振华；田聪 圆柱计算模型的公理化。 （英语） 兹比尔1332.68144 蔡志鹏（编辑）等，《计算与组合学》。2014年8月4日至6日，第20届国际会议，2014年COCOON，美国佐治亚州亚特兰大。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08782-5/pbk）。计算机科学课堂讲稿8591，71-83（2014）。MSC公司：60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Lect。票据计算。科学。8591，71-83（2014；Zbl 1332.68144） 全文： 内政部
劳拉·博泽利；塞萨尔·桑切斯 可见的线性时序逻辑。 （英语） 兹比尔1423.68274 Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8562, 418-433 (2014).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{C.Sánchez}，莱克特。票据计算。科学。8562、418--433（2014年；Zbl 1423.68274） 全文： 内政部