曼纽尔·希尔蒂;戴维·巴恩斯;亚历山大·普雷施纳 关于义务。 (英语) Zbl 1487.68064号 de Capitani di Vimercati,Sabrina(编辑)等人,《计算机安全——ESORICS 2005》。第十届欧洲计算机安全研究研讨会,意大利米兰,2005年9月12-14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3679, 98-117 (2005).MSC公司:68平方米25 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilty}等人,Lect。注释计算。科学。3679,98-117(2005;Zbl 1487.68064) 全文: 内政部
多米尼克·格雷戈里 保持语义纯粹。 (英语) Zbl 1366.03163号 诺尔斯 39,第3期,505-528(2005).MSC公司:03B10号机组 03秒20 03B45号 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gregory},诺乌斯39,第3号,505--528(2005;Zbl 1366.03163) 全文: 内政部
托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 关于演化非单调知识库的推理。 (英语) Zbl 1367.68279号 ACM事务处理。计算。日志。 6,第2期,389-440(2005).MSC公司:68T27型 68N17号 65年第68季度 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《美国医学杂志》。计算。日志。6,编号2389-440(2005年;兹bl 1367.68279) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 从线性时间到分支时间。 (英语) Zbl 1367.68195号 ACM事务处理。计算。日志。 6,第2期,273-294(2005).MSC公司:60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},ACM Trans。计算。日志。6,第2号,273--294(2005;Zbl 1367.68195) 全文: 内政部
维姆·赫塞林克。 永恒的变量证明模拟的规范。 (英语) Zbl 1367.68194号 ACM事务处理。计算。日志。 6,第1期,175-201(2005).MSC公司:60年第68季度 03B44号 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},ACM翻译。计算。日志。6,第1号,175--201(2005;Zbl 1367.68194) 全文: 内政部 arXiv公司
辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克 弱点的拓扑特征。 (英语) Zbl 1314.68182号 2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。1-8 (2005).MSC公司:60年第68季度 03B44号 第68季度第45季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,in:第24届ACM分布式计算原理年度研讨会论文集,PODC’05,拉斯维加斯,内华达州,美国,2005年7月17日至20日。纽约州纽约市:计算机协会(ACM)。1-8(2005;Zbl 1314.68182) 全文: 内政部
格雷姆·史密斯;约翰·德里克 模型检查向下模拟。 (英语) Zbl 1276.68106号 Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》137,第2期,205-224(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{J.Derrick},电子。理论注释。计算。科学。137,第2号,205--224(2005;Zbl 1276.68106) 全文: 链接
范·奥特鲁(Sieuwert van Otterloo);乔克,吉尔特 论认识的时间战略逻辑。 (英语) Zbl 1272.68384号 van der Hoek,Wiebe(编辑)等人,《第二届多智能体系统逻辑与通信国际研讨会论文集》,LCMAS,法国南希,2004年8月16日至20日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记126,77-92(2005)。MSC公司:68T27型 03B42型 03B44号 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Otterloo}和\textit{G.Jonker},电子。理论注释。计算。科学。126、77-92(2005年;Zbl 1272.68384) 全文: 链接
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 使用分布式时态逻辑对安全协议进行元推理。 (英语) Zbl 1272.68051号 Armando,A.(ed.)等人,《安全协议分析自动推理研讨会论文集》(ARSPA 2004),爱尔兰科克,2004年7月4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记125,第1期,67-89(2005)。MSC公司:68个M12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,《电子》。理论注释。计算。科学。125,第1号,67--89(2005;Zbl 1272.68051) 全文: 链接
达克斯,基督徒;马丁·兰格 游戏结束:LTL可满足性和模型检查的焦点方法。 (英语) Zbl 1272.68239号 de Alfaro,L.(编辑),《游戏设计与验证研讨会论文集》(GDV 2004),美国马萨诸塞州波士顿,2004年6月18日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》119,第1期,33-49(2005)。MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}和\textit{M.Lange},电子。理论注释。计算。科学。119,第1号,33-49(2005;Zbl 1272.68239) 全文: 链接
米盖尔·帕洛米诺;伊莎贝尔·皮塔 使用Maude模型检查器验证VLRL动作属性。 (英语) 兹比尔1272.68195 Martí-Oliet,N.(编辑),第五届重写逻辑及其应用国际研讨会论文集(WRLA 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记117113-133(2005)。MSC公司:2012年第68季度 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Palomino}和\textit{I.Pita},电子。理论注释。计算。科学。117113--133(2005年;Zbl 1272.68195) 全文: 链接
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里 基于约束半环的定量微积分和CTL。 (英语) 兹比尔1272.68269 Cerone,A.(ed.)等人,《编程语言定量方面第二次研讨会论文集》(QAPL 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记112,37-59(2005)。MSC公司:60年第68季度 03B44号 03B70号 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch-Lafuente}和\textit{U.Montanari},电子。理论注释。计算。科学。112、37-59(2005年;Zbl 1272.68269) 全文: 链接
卡门·奇蒂 三值时序逻辑。 (英语) 兹比尔1265.03008 București大学Mat.-Inform。 54, 75-90 (2005).MSC公司:03B44号 03B50号 03G20年 PDF格式BibTeX公司 XML格式引用 \textit{C.Chitiţș},An.Univ.Bucureᔁti,Mat.-Inform。54、75-90(2005年;Zbl 1265.03008)
新墨西哥州希洛夫。 在阿瑟·普赖尔(Arthur Prior)的家中为命题线性时序逻辑设计了类似于表格的公理化。 (英语) Zbl 1249.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 23, 113-136 (2005).MSC公司:60年第68季度 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。23、113--136(2005年;Zbl 1249.68110)
安德烈·普里科普 时序模糊逻辑在决策算法中的应用。 (英语) Zbl 1240.68356号 灯泡。政治学会。Iași,SecțIa Autom(自动)。计算。 51(55),编号1-4,37-44(2005).MSC公司:68T27型 90B50型 PDF格式BibTeX公司 XML格式引用 \发短信{A.Pricop},布尔。政治学会。Iași,SecțIa Autom(自动)。计算51(55),编号1--4,37-44(2005;Zbl 1240.68356)
罗马斯·阿隆德里斯 带时间间隔的直觉一阶时序逻辑的完备性类。 (英语) Zbl 1244.03060号 谎言。马特·林克。 45,规范发行。,309-315 (2005).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \文本{R.Alonderis},谎言。马特·林克。45、309--315(2005;Zbl 1244.03060)
弗拉基米尔·里巴科夫。 时间下一时间逻辑中的推理。 (英语) Zbl 1272.03093号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2615-637(2005)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},《致敬》2,615--637(2005;Zbl 1272.03093)
汉斯·尤根·奥巴赫 通过标记分区(PartLib库)对周期性时间概念进行建模。 (英语) Zbl 1221.68241号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2453-497(2005)。MSC公司:68层35 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Ohlbach},《致敬》2,453--497(2005;Zbl 1221.68241)
本·莫斯科夫斯基 基于区间的命题时序逻辑的层次分析。 (英语) Zbl 1272.03092号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2371-440(2005)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},《致敬》2371-440(2005;Zbl 1272.03092)
伊恩·霍德金森;马克·雷诺兹 分离——过去、现在和未来。 (英语) Zbl 1272.03091号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2,117-142(2005)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}和textit{M.雷诺兹},《致敬》2,117--142(2005;Zbl 1272.03091)
阿图尔·S·德阿维拉·加尔斯。;路易斯·兰姆。 神经符号系统和非经典推理案例。 (英语) Zbl 1219.68137号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦:学院出版物(ISBN 1-904987-11-7/pbk;1-904987-25-7/hbk)。《致敬》1469-488(2005)。MSC公司:68T05型 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.S.d'Avila Garcez}和\textit{L.C.Lamb},《祭文》1469--488(2005;Zbl 1219.68137)
约翰·范·本特姆 逻辑和游戏中的开放问题。 (英语) Zbl 1279.03059号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦:学院出版物(ISBN 1-904987-11-7/pbk;1-904987-25-7/hbk)。《致敬》1,229-264(2005)。MSC公司:03B80号 03B42型 03B44号 03B45号 03B70号 03E15年 91A18号 91A44型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},《悼念》12229-264(2005年;兹bl 1279.03059)
霍华德·巴林格;David E.Rydeheard。 演化系统建模:时序逻辑视图。 (英语) Zbl 1219.68113号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦:学院出版物(ISBN 1-904987-11-7/pbk;1-904987-25-7/hbk)。《致敬》1195-228(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}和\textit{D.E.Rydeheard},《祭文》1195--228(2005;Zbl 1219.68113)
苏菲·平奇纳特;里德威格,圣菲 在部分观测下可判定的一类控制问题。 (英语) Zbl 1177.93059号 Inf.流程。莱特。 95,第4期,454-460(2005).MSC公司:93元65角 60年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinchinat}和\textit{S.Riedweg},Inf.过程。莱特。95,第4号,454--460(2005;Zbl 1177.93059) 全文: 内政部
卡斯滕·弗里茨 LTL中的自动机构建概念。 (英语) Zbl 1143.68436号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835728-742(2005)。MSC公司:第68季度第45季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Fritz},莱克特。注释计算。科学。3835728--742(2005年;Zbl 1143.68436) 全文: 内政部
尚、冯;程景德 基于预期推理的预期代理人。 (英语) Zbl 1132.68741号 Hacid,Mohand Said(编辑)等人,《智能系统基础》。2005年5月25日至28日在美国纽约州萨拉托加斯普林斯举行的第15届ISMIS 2005国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-25878-0/pbk)。计算机科学课堂讲稿3488。人工智能课堂讲稿,445-455(2005)。MSC公司:68T27型 03B44号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{F.Shang}和\textit{J.Cheng},Lect。注释计算。科学。3488445-455(2005年;兹bl 1132.68741) 全文: 内政部
丁玉林;张燕 LTL系统修改的逻辑方法。 (英语) Zbl 1132.68728号 Hacid,Mohand-Said(编辑)等人,《智能系统基础》。2005年5月25日至28日在美国纽约州萨拉托加斯普林斯举行的第15届ISMIS 2005国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-25878-0/pbk)。计算机科学课堂讲稿3488。人工智能课堂讲稿,435-444(2005)。MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ding}和\textit{Y.Zhang},Lect。注释计算。科学。3488、435--444(2005;Zbl 1132.68728) 全文: 内政部
萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;维思,赫尔穆特 分支时间规范的状态/事件软件验证。 (英语) 兹比尔1137.68432 Romijn,Judi(编辑)等人,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。计算机科学课堂讲稿3771,53-69(2005)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,Lect。注释计算。科学。3771、53--69(2005年;Zbl 1137.68432) 全文: 内政部
列别捷夫,V.N。;Chernichkin,医学硕士。 程序验证的游戏方面。 (英语。俄文原件) Zbl 1126.68482号 J.计算。系统。科学。国际。 44,第5期,706-711(2005); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2005年,第5期,40-45(2005)。MSC公司:60年第68季度 91A40型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Lebedev}和\textit{M.S.Chernichkin},J.Compute。系统。科学。国际44,第5号,706--711(2005;Zbl 1126.68482);Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2005年,第5期,第40-45页(2005年)
阿方索·杰雷维尼 增量定性时态推理:点代数和ORD-Horn类的算法。 (英语) Zbl 1132.68730号 Artif公司。智力。 166,第1-2号,第37-80号(2005年).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gerevini},人工制品。智力。166,编号1--2,37-80(2005;Zbl 1132.68730) 全文: 内政部
伊恩·普拉特·哈特曼 时间介词及其逻辑。 (英语) Zbl 1132.03334号 Artif公司。智力。 166,第1-2、1-36号(2005).MSC公司:03B65号 03B44号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},阿蒂夫。智力。166,第1-2,36号(2005年;兹bl 1132.03334) 全文: 内政部
迈克尔·R·A·胡特。 将过渡系统标记为Stone空间。 (英语) Zbl 1125.68083号 日志。方法计算。科学。 1,第1期,论文1,28页(2005年).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.R.A.Huth},日志。方法计算。科学。1,第1号,论文1,28页(2005年;Zbl 1125.68083) 全文: 内政部
E.卡拉多。;里巴科夫,V。 结合时间和知识,语义方法。 (英语) Zbl 1117.03021号 牛市。第节。日志。,大学后勤部。 34,第1期,13-21(2005).MSC公司:03B45号 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Calardo}和\textit{V.Rybakov},公牛。第节。日志。,大学后勤部。34,第1号,13--21(2005;Zbl 1117.03021)
亚德里安娜·亚历山大 时间逻辑规范的组成。具有分布式动作时序逻辑的系统的规范和验证。(时间逻辑专家Spezifikationen。分布式动作的时间逻辑系统的Spezifikation和Verifikation。) (德语) Zbl 1111.68074号 哥廷根:库维利埃;柏林:洪堡大学,Mathematisch-Naturwissenschaftliche Fakultät II(Diss.)(ISBN 3-86537-813-7)。第六章,263页。(2005).MSC公司:60年第68季度 03B44号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Alexander},Komposition temporallogischer Spezifikationen。系统的规范和验证是分布式动作的时间逻辑。哥廷根:库维利埃;柏林:洪堡大学,Mathematicsch Naturwissenschaftliche Fakultät II(Diss.)(2005年;Zbl 1111.68074)
朱利亚·扎佩 走向行动的移动时间逻辑。 (英语) Zbl 1111.68079号 慕尼黑:慕尼黑大学,Fakultät für Mathematik,Informatik und Statistik(Diss.)。第六章,138页。(2005).MSC公司:60年第68季度 68-02 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Zappe},走向行动的移动时间逻辑。慕尼黑:慕尼黑大学,Fakultät für Mathematik,Informatik und Statistik(Diss.)(2005;Zbl 1111.68079) 全文: 链接
弗南德斯·加戈,M.C。;美国Hustadt。;狄克逊,C。;M·费希尔。;科涅夫,B。 实践中的一阶时间验证。 (英语) Zbl 1108.03018号 J.自动化。推理 第3期第34页,第295-321页(2005年).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fernández-Gago}等人,J.Autom。推理34,No.3,295--321(2005;Zbl 1108.03018) 全文: 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 实时时序逻辑:过去、现在、未来。 (英语) 兹比尔1175.03009 Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829,2-16(2005)。MSC公司:03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。注释计算。科学。3829,2--16(2005;Zbl 1175.03009) 全文: 内政部
帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于TPTL公司和MTL公司. (英语) Zbl 1140.03303号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821432-443(2005)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。3821432--443(2005年;Zbl 1140.03303) 全文: 内政部
马克·雷诺兹 走向CTL*画面。 (英语) Zbl 1172.03310号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821384-395(2005)。MSC公司:03B35型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},莱克特。注释计算。科学。3821384--395(2005年;Zbl 1172.03310) 全文: 内政部
伊戈尔·瓦卢基维奇 从逻辑到游戏。 (英语) Zbl 1172.68545号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿382179-91(2005)。MSC公司:60年第68季度 68-03 03B44号 05年3月 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},莱克特。注释计算。科学。3821、79-91(2005年;Zbl 1172.68545) 全文: 内政部
卡拉瓦耶夫,Eh.F。 再次谈道义逻辑构建的难点。 (俄语。英文摘要) Zbl 1106.03311号 Karpenko,A.S.(编辑),《逻辑研究》。12.莫斯科:瑙卡(ISBN 5-02-034966-6/hbk)。170-181 (2005).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Eh.F.Karavaev},in:罗切斯基issledovaniya。12.莫斯科:瑙卡。170-181(2005;Zbl 1106.03311)
奥列塔·塞利库 HOL中的定量时间逻辑机械化。 (英语) Zbl 1169.03325号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722439-453(2005)。MSC公司:03B35型 03B44号 第68页第15页 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Celiku},莱克特。注释计算。科学。3722439--453(2005年;Zbl 1169.03325) 全文: 内政部
Ernst-Erich Doberkat 连续时间随机逻辑的同余和互模拟。 (英语) Zbl 1169.68503号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722,409-423(2005)。MSC公司:60年第68季度 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。3722409--423(2005年;Zbl 1169.68503) 全文: 内政部
马丁·范策尔;迈克尔·汉森。 对持续时间演算的稳健解释。 (英语) Zbl 1169.68504号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722257-271(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{M.R.Hansen},莱克特。注释计算。科学。3722257--271(2005年;Zbl 1169.68504) 全文: 内政部
雷蒙德·布特;安德烈亚斯·施费尔 定时器级联:功能建模和实时计算。 (英语) Zbl 1169.68646号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722,242-256(2005)。MSC公司:68岁20岁 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute}和\textit{A.Schäfer},Lect。注释计算。科学。3722、242--256(2005年;Zbl 1169.68646) 全文: 内政部
沃伊切赫·贾姆罗加;尤尔根·迪克斯 不完全信息下代理策略能力的模型检验。 (英语) Zbl 1136.68425号 Coppo,Mario(编辑)等人,《理论计算机科学》。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29106-7/pbk)。《计算机科学讲义》3701295-308(2005)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{J.Dix},莱克特。注释计算。科学。3701、295--308(2005年;Zbl 1136.68425) 全文: 内政部
斯迪恩·海曼斯;Davy Van Nieuwenborgh;德克·维尔梅尔 使用首选答案集编程从时间规范合成。 (英语) 兹比尔1171.68548 Coppo,Mario(编辑)等人,《理论计算机科学》。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29106-7/pbk)。计算机科学讲座笔记3701,280-294(2005)。MSC公司:60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Heymans}等人,莱克特。注释计算。科学。370128-294(2005年;Zbl 1171.68548) 全文: 内政部
克劳迪奥·卡斯泰里尼;阿兰·斯梅尔 一阶时序逻辑的证明规划。 (英语) Zbl 1135.68553号 Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。人工智能课堂讲稿,235-249(2005)。MSC公司:第68页第15页 03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Castellini}和\textit{A.Smaill},莱克特。注释计算。科学。3632235-249(2005年;Zbl 1135.68553) 全文: 内政部
乌尔里希·赫斯塔特;鲍里斯·科涅夫;雷娜特·施密特(Renate A.Schmidt)。 通过时间分辨率决定单音片段。 (英语) Zbl 1135.03332号 Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。《人工智能课堂讲稿》,204-218(2005)。MSC公司:03B44号 03B25号 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,Lect。注释计算。科学。3632、204--218(2005年;Zbl 1135.03332) 全文: 内政部
鲍里斯·科涅夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 传递状态上的时间逻辑。 (英语) Zbl 1135.03333号 Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。人工智能课堂讲稿,182-203(2005)。MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Lect。注释计算。科学。3632182-203(2005年;兹bl 1135.03333) 全文: 内政部
保罗·加斯丁;迪特里赫·库斯克 Mazurkiewicz迹上局部时序逻辑的一致可满足性问题。 (英语) Zbl 1134.68436号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653533-547(2005)。MSC公司:68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{D.Kuske},莱克特。注释计算。科学。3653、533--547(2005年;Zbl 1134.68436) 全文: 内政部
Houda Bel Mokadem;贝拉德,贝特里奇;帕特里夏·鲍耶;弗朗索瓦·拉鲁西尼 时间自动机中几乎处处属性的一种新形式。 (英语) 兹比尔1134.68381 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653110-124(2005)。MSC公司:第68季度第45季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bel Mokadem}等人,Lect。注释计算。科学。3653110-124(2005年;兹bl 1134.68381) 全文: 内政部
洛科·德尼古拉;米歇尔·洛雷蒂 MoMo:一种关于流动性推理的模态逻辑。 (英语) Zbl 1143.68364号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2004年11月2日至5日,第三届国际研讨会,FMCO,荷兰莱顿。修订的讲座。柏林:施普林格出版社(ISBN 3-540-29131-8/pbk)。计算机科学课堂讲稿365795-119(2005)。MSC公司:68号30 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{M.Loreti},Lect。注释计算。科学。3657,95-119(2005;Zbl 1143.68364) 全文: 内政部
萨加·查基;埃德蒙·克拉克;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 使用状态、事件和死锁进行并发软件验证。 (英语) Zbl 1103.68609号 正式Asp。计算。 17,第4期,461-483(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《正式Asp》。计算。17,第4号,461--483(2005;Zbl 1103.68609) 全文: 内政部
米盖尔·帕洛米诺;何塞·梅塞盖尔;马丁·奥列特,纳西索 模拟的分类方法。 (英语) Zbl 1151.68550号 JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿3629313-330(2005)。MSC公司:68问题85 03B44号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Palomino}等人,Lect。注释计算。科学。3629313-330(2005年;Zbl 1151.68550) 全文: 内政部
H.Peter Gumm 从T余代数到滤子结构和过渡系统。 (英语) Zbl 1151.18001号 JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿3629194-212(2005)。MSC公司:18B20型 03B44号 18个C20 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Gumm},莱克特。注释计算。科学。3629194--212(2005年;Zbl 1151.18001) 全文: 内政部
德克·帕丁森;罗伊斯,伯恩哈德 分布式系统的完整时空逻辑。 (英语) Zbl 1171.03323号 Gramlich,Bernhard(编辑),组合系统的前沿。第五届国际研讨会,FroCos 2005,奥地利维也纳,2005年9月19-21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29051-6/pbk)。计算机科学讲义3717。人工智能课堂讲稿,122-137(2005)。MSC公司:03B70号 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{B.Reuse},Lect。注释计算。科学。3717、122-137(2005年;Zbl 1171.03323) 全文: 内政部
斯特凡·德姆里;大卫·诺瓦克 关于超限序列的推理。(扩展摘要)。 (英语) Zbl 1170.68513号 Peled,Doron A.(编辑)等人,用于验证和分析的自动化技术。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707,248-262(2005)。MSC公司:60年第68季度 03B44号 2017年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Nowak},莱克特。注释计算。科学。3707、248--262(2005年;Zbl 1170.68513) 全文: 内政部
里巴科夫,V.V。 离散线性时序逻辑中的逻辑顺序。 (英语) Zbl 1110.03010号 J.塞姆。日志。 70,第4期,1137-1149页(2005年). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},J.Symb。日志。70,第4号,1137--1149(2005;Zbl 1110.03010) 全文: 内政部
克劳迪娅·纳隆;克莱尔·狄克逊;迈克尔·费希尔 同步和无学习的解决方案。 (英语) Zbl 1102.03006号 Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。231-248 (2005).MSC公司:03B35型 03B42型 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Nalon}等人,in:模态逻辑的进展。第5卷。第五届会议论文选集(AiML 2004),英国曼彻斯特,2004年9月9日至11日。伦敦:国王学院出版。231--248(2005;Zbl 1102.03006)
法语,蒂姆;罗恩·范德梅登;马克·雷诺兹 知识和过去时间逻辑的公理:同步和独特的初始状态。 (英语) Zbl 1102.03015号 Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。53-72(2005年)。MSC公司:03B45号 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.French}等人,in:模态逻辑的进展。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版。53-72(2005;Zbl 1102.03015)
大卫·布雷索林;安吉洛·蒙塔纳里 基于表的右命题邻域逻辑决策过程。 (英语) Zbl 1141.03307号 Beckert,Bernhard(编辑),用分析表和相关方法进行自动推理。国际会议,TABLEAUX 2005,德国科布伦茨,2005年9月14日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28931-3/pbk)。计算机科学3702课堂讲稿。人工智能课堂讲稿,63-77(2005)。MSC公司:03B35型 03B25号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{A.Montanari},莱克特。注释计算。科学。3702、63--77(2005年;Zbl 1141.03307) 全文: 内政部
段振华;杨晓晓;马西耶·库特尼 框架时序逻辑程序的语义。 (英语) Zbl 1165.68329号 Gabbrielli,Maurizio(编辑)等人,《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29208-X/pbk)。计算机科学课堂讲稿3668,356-370(2005)。MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Lect。注释计算。科学。3668、356--370(2005年;Zbl 1165.68329) 全文: 内政部
托马斯·菲利 计算用于验证反应系统的抽象模型。 (英语) Zbl 1092.68056号 Berichte aus der Informatik公司亚琛:Shaker-Verlag;布伦瑞克:TU Braunschweig,Fachbereich Mathematik und Informatik(论文2004)(ISBN 3-8322-4335-6)。125页。(2005).MSC公司:60年第68季度 03B44号 03B70号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{T.Firley},计算用于验证反应系统的抽象模型。亚琛:Shaker-Verlag;布伦瑞克:TU Braunschweig,Fachbereich Mathematik und Informatik(论文2004)(2005;Zbl 1092.68056) 全文: 链接
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 用于安全协议分析的关联串空间和分布式时序逻辑。 (英语) Zbl 1098.03039号 日志。J.IGPL公司 13,第6期,637-663(2005).MSC公司:03B70号 03B44号 68个M12 68米14 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,《日志》。J.IGPL 13,第6号,637--663(2005;Zbl 1098.03039) 全文: 内政部 链接
贾科·辛提卡 [文森特·亨德里克斯。;约翰·西蒙斯] 知识和信念。介绍这两个概念的逻辑。由Vincent F.Hendricks和John Symons编写。重印1962年原件。 (英语) Zbl 1085.03001号 哲学文本1.伦敦:国王学院出版社(ISBN 1-904987-08-7/pbk)。ii,133页。(2005). 审核人:David Makinson(伦敦) MSC公司:03-02 03B42型 03A05号 03B44号 03B45号 68T27型 01A75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Hintikka},知识与信仰。介绍这两个概念的逻辑。由Vincent F.Hendricks和John Symons编写。重印1962年原件。伦敦:国王学院出版物(2005;Zbl 1085.03001)
塔德乌兹·利塔克;弗兰克·沃尔特 线性时间流的所有有限公理化时态逻辑都是余NP-完备的。 (英语) Zbl 1096.03014号 螺柱日志。 81,第2期,153-165(2005).MSC公司:03B44号 2015年3月1日 2017年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{F.Wolter},Stud.Log。81,第2号,153--165(2005;Zbl 1096.03014) 全文: 内政部
弗拉基米尔·里巴科夫 有限区间不及物时间线性逻辑中的逻辑序列。 (英语) Zbl 1091.03002号 J.日志。计算。 15,第5期,663-678(2005). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},J.Log。计算。15,第5号,663--678(2005;Zbl 1091.03002) 全文: 内政部
杰弗里·阿什利;劳伦斯·霍洛韦(Lawrence E.Holloway)。 条件序列的等效CTL公式。 (英语) Zbl 1101.93048号 离散事件动态。系统。 15,第4期,333-348(2005).MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{J.Ashley}和\textit{L.E.Holloway},离散事件动力学。系统。15,第4号,333--348(2005;Zbl 1101.93048) 全文: 内政部
谢尔盖·斯拉夫诺夫 关于动态拓扑逻辑的完备性。 (英语) Zbl 1091.03005号 莫斯科。数学。J。 5,第2期,477-492(2005).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Slavnov},摩斯。数学。J.5,第2号,477--492(2005;Zbl 1091.03005)
伯恩德·芬克贝纳;桑卡拉纳拉亚南,斯里拉姆;Henny B.西普玛。 收集运行时执行的统计信息。 (英语) Zbl 1083.68068号 形式方法系统。设计。 27,第3期,253-274(2005).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。27,第3号,253--274(2005;Zbl 1083.68068) 全文: 内政部
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 度量和拓扑的逻辑。 (英语) Zbl 1089.03021号 J.塞姆。日志。 70,第3期,795-828(2005).MSC公司:03B60号 03B44号 54E35个 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},J.Symb。日志。70,第3号,795--828(2005;Zbl 1089.03021) 全文: 内政部 链接
安东·库切拉;斯特雷切克,简 LTL的特征模式。 (英语) Zbl 1117.68431号 Vojtáš,Peter(编辑)等人,《SOFSEM 2005:计算机科学的理论与实践》。2005年1月22日至28日,斯洛伐克利普托夫斯克·扬,第31届计算机科学理论与实践当前趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24302-X/pbk)。计算机科学讲座笔记3381239-249(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{J.Strejček},莱克特。注释计算。科学。3381239--249(2005年;Zbl 1117.68431) 全文: 内政部
蒂莫·拉塔瓦拉;阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉 简单是更好的:对过去的LTL进行有效的有界模型检查。 (英语) 兹比尔1111.68510 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385380-395(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Latvala}等人,Lect。注释计算。科学。3385380-395(2005年;Zbl 1111.68510) 全文: 内政部
马丁·兰格 线性时间微积分的弱自动机。 (英语) Zbl 1112.68093号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385,267-281(2005)。MSC公司:60年第68季度 第68季度第45季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},莱克特。注释计算。科学。33852267-281(2005年;兹比尔1112.68093) 全文: 内政部
亲爱的,丹尼斯;Kedar S.Namjoshi。 自动化作为抽象。 (英语) Zbl 1112.68088号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385,216-232(2005)。MSC公司:60年第68季度 第68季度第45季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{K.S.Namjoshi},莱克特。注释计算。科学。3385216--232(2005;Zbl 1112.68088) 全文: 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;玛丽·斯托琳加 模型检查折扣时间属性。 (英语) Zbl 1079.68062号 西奥。计算。科学。 345,第1期,139-170(2005).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{L.de Alfaro}等人,Theor。计算。科学。345,编号1,139--170(2005;Zbl 1079.68062) 全文: 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;Boudewijn R.哈维尔科特。 一致连续时间Markov决策过程中时间有界可达概率的有效计算。 (英语) Zbl 1081.90066号 西奥。计算。科学。 345,第1期,2-26(2005).MSC公司:90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Theor。计算。科学。345,编号1,2--26(2005;Zbl 1081.90066) 全文: 内政部 链接
迪特马尔·伯旺格;贾科莫·伦齐 微积分的变量层次结构是严格的。 (英语) Zbl 1119.68114号 Diekert,Volker(编辑)等人,STACS 2005。第22届计算机科学理论方面年度研讨会,德国斯图加特,2005年2月24日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24998-2/pbk)。计算机科学课堂讲稿3404,97-109(2005)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{G.Lenzi},莱克特。注释计算。科学。3404,97-109(2005;Zbl 1119.68114) 全文: 内政部
格拉西拉·冈萨雷斯;奇塔·巴拉尔;迈克尔·盖尔芬德 Alan:一种用于建模非马尔可夫域的动作语言。 (英语) Zbl 1101.68856号 螺柱日志。 79,第1期,115-134(2005).MSC公司:68T27型 03B44号 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{G.González}等人,研究日志。79,No.1,115--134(2005;Zbl 1101.68856) 全文: 内政部
罗伯特·克雷文;马雷克·塞尔戈特 \(\mathcal C+\)中的远距离因果关系。 (英语) Zbl 1079.03018号 螺柱日志。 79,第1期,73-96(2005).MSC公司:03B70号 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Craven}和\textit{M.Sergot},Stud.Log。79,第1号,73--96(2005;Zbl 1079.03018) 全文: 内政部
奇塔·巴拉尔;越南Tran 在行动推理的背景下,对世界演变的表示和推理。 (英语) Zbl 1101.68852号 螺柱日志。 79,第1期,33-46(2005).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}和\textit{N.Tran},螺柱日志。79,第1号,33-46(2005;Zbl 1101.68852) 全文: 内政部
安德烈亚斯·施费尔 时间和空间形状的微积分。 (英语) Zbl 1109.68068号 Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会,中国贵阳,2004年9月20日至24日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-25304-1/pbk)。计算机科学课堂讲稿3407463-477(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schäfer},莱克特。注释计算。科学。3407463-477(2005年;Zbl 1109.68068) 全文: 内政部
Seow,Kiam Tian先生 基于句法的临时安全监管合成。 (英语) Zbl 1125.93416号 Automatica公司 41,第11期,1965-1972(2005).MSC公司:93元65角 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.T.Seow},Automatica 41,第11期,1965--1972(2005;Zbl 1125.93416) 全文: 内政部
维克多·舒潘;阿明·比尔 LTL与过去的符号模型检查的最简短反例。 (英语) Zbl 1087.68060号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。《计算机科学讲义》3440493-509(2005)。MSC公司:60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan}和\textit{A.Biere},莱克特。注释计算。科学。3440493--509(2005年;Zbl 1087.68060) 全文: 内政部
希勒尔·库格勒;大卫·哈雷;阿米尔·普努利;卢、袁;伊夫·邦坦普斯 基于场景的规范的时间逻辑。 (英语) Zbl 1087.68596号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440445-460(2005)。MSC公司:60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Kugler}等人,Lect。注释计算。科学。3440445--460(2005年;Zbl 1087.68596) 全文: 内政部
威尔·马雷罗 使用BDD决定CTL。 (英语) Zbl 1087.68057号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440222-236(2005)。MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Marrero},莱克特。注释计算。科学。3440,222--236(2005;Zbl 1087.68057) 全文: 内政部
本杰明·阿米诺夫;鲍尔,托马斯;奥尔纳·库普弗曼 推理具有过渡公平性的系统。 (英语) Zbl 1108.68486号 Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,194-208(2005)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,Lect。注释计算。科学。3452194-208(2005;Zbl 1108.68486) 全文: 内政部
丹尼尔·范德弗肯 尝试、成功和行动生成:对有意行动的逻辑研究。 (英语) Zbl 1082.03006号 Daniel Vanderveken(编辑),《逻辑、思想和行动》。多德雷赫特:施普林格(ISBN 1-4020-2616-1/hbk;1-4020-3167-X/电子书)。《逻辑、认识论和科学的统一》2,315-342(2005)。MSC公司:03A05号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Vanderveken},日志。认识论。统一科学。2315--342(2005;Zbl 1082.03006)
Jean-Pierre Descés 推理和方面-时间演算。 (英语) Zbl 1135.03306号 Daniel Vanderveken(编辑),《逻辑、思想和行动》。多德雷赫特:施普林格(ISBN 1-4020-2616-1/hbk;1-4020-3167-X/电子书)。《逻辑、认识论和科学的统一》2,217-244(2005)。MSC公司:03A05号 03B44号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Desclés},日志。认识论。统一科学。2、217--244(2005;Zbl 1135.03306)
海克·卫尔海姆 验证重用的切片技术。 (英语) Zbl 1079.68061号 西奥。计算。科学。 343,第3期,509-528(2005).MSC公司:60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \文本{H.Wehrheim},Theor。计算。科学。343,第3号,509--528(2005;Zbl 1079.68061) 全文: 内政部
伊利亚州夏皮洛夫斯基;Shehtman,瓦伦丁 区域和闵可夫斯基时空的模态逻辑。 (英语) Zbl 1084.03016号 J.日志。计算。 15,第4期,559-574(2005). 审核人:伯恩哈德·海涅曼(哈根) MSC公司:03B45号 03B44号 83A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Shapirovsky}和\textit{V.Shehtman},J.Log。计算。15,第4号,559--574(2005;Zbl 1084.03016) 全文: 内政部
巴拉兹·乌格伦;萨博尔斯·哈达拉;拉兹洛·科兹马 综合通用管道系统的同步。 (英语) Zbl 1080.68017号 《网络学报》。 17,第1期,123-151(2005).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ugron}等人,《网络学报》。17,第1号,第123--151条(2005;Zbl 1080.68017)
奥奎斯特,伦纳德 时态和义务情态的组合:关于具有历史必然性和条件义务的时间逻辑的\(R_{t}\)方法。 (英语) Zbl 1081.03016号 J.应用。日志。 3,编号3-4,421-460(2005). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.奥奎斯特},J.应用。日志。3、编号3--4、421--460(2005;Zbl 1081.03016) 全文: 内政部
约翰·斯莱尼 带有未知过去运算符的半正LTL。 (英语) Zbl 1084.03014号 日志。J.IGPL公司 13,第2期,211-229(2005). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.斯莱尼},日志。J.IGPL 13,第2期,211-229(2005;Zbl 1084.03014) 全文: 内政部
克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 线性和分支时间演绎数据库的时间分层测试。 (英语) Zbl 1077.68025号 西奥。计算。科学。 342,编号2-3,382-415(2005).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Nomikos}等人,Theor。计算。科学。342,编号2--3382--415(2005;Zbl 1077.68025) 全文: 内政部
兰斯·克莱维兰;S.Purushothaman,Iyer;穆拉利·纳拉西姆哈 通过模态微积分的概率时间逻辑。 (英语) 兹比尔1077.68058 西奥。计算。科学。 342,编号2-3,316-350(2005).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人,Theor。计算。科学。342,编号2--3316-350(2005;Zbl 1077.68058) 全文: 内政部 链接
马克·雷诺兹 PCTL*的公理化。 (英语) Zbl 1099.03013号 Inf.计算。 201,第1期,72-119(2005). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},《信息计算》。201,第1号,72--119(2005;Zbl 1099.03013) 全文: 内政部
迈克尔·费希尔(编辑);Dov Gabbay公司(编辑);路易斯·维拉(编辑) 人工智能中的时间推理手册。 (英语) Zbl 1099.68106号 人工智能基础1.阿姆斯特丹:爱思唯尔(ISBN 0-444-51493-7/hbk)。十七、731页。(2005).MSC公司:68T27型 03B44号 68-00 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher}(编辑)等人,《人工智能时间推理手册》。阿姆斯特丹:Elsevier(2005;Zbl 1099.68106) 全文: 链接
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) Zbl 1101.68053号 Inf.计算。 200,第2期,149-214(2005).MSC公司:68问题55 2010年第68季度 60年第68季度 60J10型 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。200,第2号,149--214(2005;Zbl 1101.68053) 全文: 内政部 链接