瑞科·赫克尔(编辑);克里斯托弗·波斯基特(Christopher M.Poskitt)。(编辑) 第十三届图形计算模型国际研讨会论文集,GCM,法国南特,2022年7月6日。 (英语) Zbl 1522.68033号 理论计算机科学电子论文集(EPTCS)374.滑铁卢:开放出版协会(OPA)。93页。,仅电子化、开放存取(2022年)。MSC公司:68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckel}(ed.)和\textit{C.M.Poskitt}(edi.),第十三届图形计算模型国际研讨会论文集,GCM,法国南特,2022年7月6日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68033) 全文: 内政部 arXiv公司 链接
杰弗里·汉密尔顿。(编辑);Temesghen Kahsai(编辑);毛里齐奥·普罗埃蒂(编辑) 2022年4月3日,德国慕尼黑,HCVS/VPT 2022,第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 (英语) Zbl 1522.68032号 理论计算机科学电子论文集(EPTCS)373.滑铁卢:开放出版协会(OPA)。第62页。,仅电子化、开放存取(2022年)。MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Hamilton}(ed.)等人,《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》,HCVS/VPT 2022,德国慕尼黑,2022年4月3日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68032) 全文: 内政部 arXiv公司 链接
皮埃尔·甘蒂(编辑);黛拉·莫妮卡,达里奥(编辑) 第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,甘道夫2022年,西班牙马德里,2022年9月21日至23日。 (英语) Zbl 1522.68028号 理论计算机科学电子论文集(EPTCS)370.滑铁卢:开放出版协会(OPA)。第228页。,仅电子化、开放存取(2022年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Della Monica}(编辑),第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21-23日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68028) 全文: 内政部 arXiv公司 链接
安娜·索科洛娃(编辑) 第37届编程语义数学基础会议论文集,MFPS,混合:奥地利萨尔茨堡和在线,2021年8月30日至9月2日。 (英语) Zbl 1489.68030号 理论计算机科学电子论文集(EPTCS)351.滑铁卢:开放出版协会(OPA)。第313页。,仅电子化、开放存取(2021年)。MSC公司:68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}(编辑),第37届编程语义数学基础会议论文集,MFPS,混合:奥地利萨尔茨堡和在线,2021年8月30日至9月2日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68030) 全文: 内政部 链接
皮埃尔·甘蒂(编辑);大卫·布雷索林(编辑) 2021年9月20日至22日,在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1489.68014号 理论计算机科学电子论文集(EPTCS)346.滑铁卢:开放出版协会(OPA)。第307页。,仅电子化、开放存取(2021年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Bresolin}(主编),第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF,意大利帕多瓦,2021年9月20-22日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68014) 全文: 内政部 链接
侯赛因霍贾特(编辑);比肖克桑·卡夫(编辑) 2021年3月28日,第八届验证和合成Horn条款研讨会论文集,HCVS,虚拟版。 (英语) Zbl 1489.68020号 理论计算机科学电子论文集(EPTCS)344.滑铁卢:开放出版协会。108页。,仅电子化、开放存取(2021年)。MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hojjat}(ed.)和\textit{B.Kafle}(edi.),《验证和合成Horn子句第八次研讨会论文集》,HCVS,虚拟,2021年3月28日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68020) 全文: 内政部 链接
阿列克谢·利西萨(编辑);安德烈·奈米提克(Andrei P.Nemytykh)。(编辑) 2021年3月27日至28日,卢森堡,VPT,第九届核查和项目转换国际研讨会会议记录。 (英语) Zbl 1489.68026号 理论计算机科学电子论文集(EPTCS)341.滑铁卢:开放出版协会(OPA)。第94页。,仅电子化、开放存取(2021年)。MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}(编辑)和\textit{A.P.Nemytykh}(主编),第九届验证和程序转换国际研讨会会议记录,卢森堡VPT,卢森堡,2021年3月27日至28日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68026) 全文: 内政部 链接
Jean-Francois拉斯金(编辑);大卫·布雷索林(编辑) 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号 理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}(编辑)和\textit{D.Bresolin}(主编),第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68026) 全文: 内政部 arXiv公司 链接
劳伦·弗里堡(编辑);马蒂亚斯·海兹曼(编辑) 2020年4月25日至26日,爱尔兰都柏林,《2020年VPT/HCVS》,第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录。 (英语) 兹比尔1466.68013 理论计算机科学电子论文集(EPTCS)320.滑铁卢:开放出版协会(OPA)。127页。,仅电子化、开放存取(2020年)。MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}(ed.)和textit{M.Heizmann}(edi.),第八届验证和程序转换国际研讨会和第七届验证和合成Horn条款研讨会会议记录,VPT/HCVS 2020,爱尔兰都柏林,2020年4月25日至26日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68013) 全文: 内政部 arXiv公司 链接
伊曼纽尔·德·安吉利斯(编辑);格里戈里·费迪尤科维奇(编辑);尼科斯·齐夫列科斯(编辑);马蒂亚斯·乌尔布里奇(编辑) 第六次霍恩条款验证与合成研讨会、2019年HCVS和第三次研讨会会议记录《程序等价性和关系推理》,PERR 2019,捷克共和国布拉格,2019年4月6日至7日。 (英语) Zbl 1441.68008号 理论计算机科学电子论文集(EPTCS)296.滑铁卢:开放出版协会(OPA)。75页。,仅电子、开放存取(2019年)。MSC公司:68-06 03B70号 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}(ed.)等人,第六次霍恩条款验证与合成研讨会会议记录,2019年HCVS,以及第三次研讨会《程序等价性和关系推理》,PERR 2019,捷克共和国布拉格,2019年4月6-7日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1441.68008) 全文: 内政部 arXiv公司 链接
杰罗姆·勒鲁(编辑);Jean-Francois拉斯金(编辑) 第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2019年9月2日至3日,法国波尔多,GandALF 2019。 (英语) Zbl 1436.68031号 理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅电子、开放存取(2019年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}(编辑)和\textit{J.-F.Raskin}(主编),第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年甘道夫,法国波尔多,2019月2-3日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1436.68031) 全文: 内政部 arXiv公司 链接
Temesghen Kahsai(编辑);维达尔,德语(编辑) 2018年7月13日,英国牛津,HCVS 2018,第五届Horn子句验证与合成研讨会论文集。 (英语) Zbl 1441.68010号 理论计算机科学电子论文集(EPTCS)278.滑铁卢:开放出版协会(OPA)。第48页。,仅电子版,开放存取(2018年)。MSC公司:68-06 03B70号 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahsai}(ed.)和\textit{G.Vidal}(edi.),《验证和合成Horn子句第五次研讨会论文集》,HCVS 2018,英国牛津,2018年7月13日。滑铁卢:开放出版协会(OPA)(2018;Zbl 1441.68010) 全文: 内政部 arXiv公司 链接
安德里亚·奥兰迪尼(编辑);马丁·齐默尔曼(编辑) 第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2018年9月26日至28日,德国萨尔布吕肯,GandALF 2018。 (英语) Zbl 1436.68032号 理论计算机科学电子论文集(EPTCS)277.滑铁卢:开放出版协会(OPA)。279页。,仅电子版,开放存取(2018年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}(编辑)和\textit{M.Zimmermann}(编者),第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,《2018年甘道夫》,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)(2018;Zbl 1436.68032) 全文: 内政部 arXiv公司 链接
帕特里夏·鲍耶(编辑);安德烈亚·奥兰迪尼(编辑);圣彼得罗,皮耶路易吉(编辑) 第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20日至22日。 (英语) 兹比尔1436.68017 理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}(ed.)等人,第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20-22日。滑铁卢:开放出版协会(OPA)(2017;Zbl 1436.68017) 全文: 内政部 arXiv公司 链接
约翰·加拉赫(John P.Gallagher)。(编辑);菲利普·吕默(编辑) 2016年4月3日,荷兰埃因霍温举行的2016年HCVS第三次霍恩条款验证与合成研讨会会议记录。 (英语) Zbl 1441.68009号 理论计算机科学电子论文集(EPTCS)219.滑铁卢:开放出版协会。第68页。,仅电子版,开放存取(2016年)。MSC公司:68-06 03B70号 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Gallagher}(编辑)和\textit{P.Rümmer}。滑铁卢:开放出版协会(OPA)(2016;Zbl 1441.68009) 全文: 内政部 arXiv公司 链接
坎通·多梅尼科(编辑);乔治·德尔扎诺(编辑) 2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号 理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会(OPA)。315页。,仅电子版,开放存取(2016年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(编),第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,意大利卡塔尼亚,2016年9月14-16日。滑铁卢:开放出版协会(OPA)(2016;Zbl 1436.68019) 全文: 内政部 arXiv公司 链接
哈维尔·埃斯帕尔扎(编辑);恩里科·特隆西(编辑) 第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,热那亚,意大利,2015年9月21日至22日。 (英语) 兹比尔1435.68028 理论计算机科学电子论文集(EPTCS)193.滑铁卢:开放出版协会(OPA)。185页。,仅电子版,开放存取(2015年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}(ed.)和textit{E.Tronci}(edi.),第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,意大利热那亚,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)(2015;Zbl 1435.68028) 全文: 内政部 arXiv公司 链接
尼古拉·比约纳(编辑);法比奥·菲奥拉万蒂(编辑);安德烈·里巴尔琴科(编辑);Valerio Senni公司(编辑) 2014年7月17日,奥地利维也纳,2014年HCVS,关于验证和合成Horn条款的第一次研讨会会议记录。 (英语) Zbl 1441.68007号 理论计算机科学电子论文集(EPTCS)169.滑铁卢:开放出版协会(OPA)。第81页。,仅电子版,开放存取(2014年)。MSC公司:68-06 03B70号 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}(ed.)等人,《验证和合成Horn条款第一次研讨会会议记录》,HCVS 2014,奥地利维也纳,2014年7月17日。滑铁卢:开放出版协会(OPA)(2014;Zbl 1441.68007) 全文: 内政部 arXiv公司 链接
阿德里亚诺·佩隆(编辑);卡拉广场(编辑) 第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2014,意大利维罗纳,2014年9月10-12日。 (英语) 兹比尔1435.68038 理论计算机科学电子论文集(EPTCS)161.滑铁卢:开放出版协会(OPA)。第274页。,仅电子版,开放存取(2014年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Peron}(编辑)和\textit{C.Piazza}(编),第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2014,意大利维罗纳,2014年9月10-12日。滑铁卢:开放出版协会(OPA)(2014;Zbl 1435.68038) 全文: 内政部 arXiv公司 链接
法比奥·莫加维罗(编辑);阿尼埃洛·穆拉诺(编辑);莫舍·瓦尔迪。(编辑) 2014年4月5日至6日,法国格勒诺布尔,第二届战略推理国际研讨会论文集,SR'14。 (英语) Zbl 1433.68028号 理论计算机科学电子论文集(EPTCS)146.滑铁卢:开放出版协会(OPA)。111页。,仅限电子版,开放访问(2014年)。MSC公司:68-06 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}(ed.)等人,《第二届战略推理国际研讨会论文集》,SR'14,法国格勒诺布尔,2014年4月5-6日。滑铁卢:开放出版协会(OPA)(2014;Zbl 1433.68028) 全文: 内政部 arXiv公司 链接
埃蒂安·安德烈(编辑);戈兰·弗雷斯(编辑) 2014年4月6日,法国格勒诺布尔,SynCoP’14,第一届连续参数合成国际研讨会论文集。 (英语) Zbl 1433.68005号 理论计算机科学电子论文集(EPTCS)145.滑铁卢:开放出版协会(OPA)。第79页。,仅电子版(2014年)。MSC公司:68-06 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{É.André}(编辑)和\textit{G.Frehse}(编辑),第一届连续参数合成国际研讨会论文集,SynCoP'14,法国格勒诺布尔,2014年4月6日。滑铁卢:开放出版协会(OPA)(2014;Zbl 1433.68005) 全文: 内政部 arXiv公司 链接
卢卡斯·霍利克(编辑);洛伦佐·克莱门特(编辑) 2013年10月14日,越南河内,第15届无限状态系统验证国际研讨会论文集,INFINITY’13。 (英语) Zbl 1433.68019号 理论计算机科学电子论文集(EPTCS)140.滑铁卢:开放出版协会(OPA)。87页。,仅电子版,开放存取(2014年)。MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Holik}(编辑)和textit{L.Clemente}(编),第15届无限状态系统验证国际研讨会会议记录,INFINITY’13,越南河内,2013年10月14日。滑铁卢:开放出版协会(OPA)(2014;Zbl 1433.68019) 全文: 内政部 arXiv公司 链接
乌戈·德利古罗(编辑);亚历克西斯·索林(编辑) 2013年6月24日至25日,荷兰埃因霍温,COS 2013,第一届控制操作员及其语义研讨会会议记录。 (英语) Zbl 1471.68013号 理论计算机科学电子论文集(EPTCS)127.滑铁卢:开放出版协会(OPA)。第129页。,仅电子版,开放存取(2013年)。MSC公司:68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{U.de’Liguoro}(ed.)和\textit{A.Saurin}(edi.),控制操作符及其语义第一次研讨会会议记录,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1471.68013) 全文: 内政部 arXiv公司 链接
安妮迪亚·班纳吉(编辑);奥利维尔,丹维(编辑);Doh、Kyung-Goo(编辑);约翰·哈特克利夫(编辑) 语义学、抽象解释和程序推理:2013年9月19日至20日,美国堪萨斯州曼哈顿,大卫·A·施密特60岁生日之际,为他撰写的论文。 (英语) Zbl 1415.68014号 理论计算机科学电子论文集(EPTCS)129.滑铁卢:开放出版协会(OPA)。428页。,仅电子版,开放存取(2013年)。MSC公司:68-06 68号30 68问题55 00B25型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Banerjee}(ed.)等人,《语义学、抽象解释和程序推理:纪念David A.Schmidt六十岁生日的论文》,美国堪萨斯州曼哈顿,2013年9月19-20日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1415.68014) 全文: 内政部 arXiv公司 链接
卢卡·博托卢西(编辑);赫伯特,威克利基(编辑) 2013年3月23日至24日,意大利罗马,第十一届编程语言和系统定量方面国际研讨会会议记录。 (英语) Zbl 1415.68017号 理论计算机科学电子论文集(EPTCS)117.滑铁卢:开放出版协会(OPA)。148页。,仅电子版,开放存取(2013年)。MSC公司:68-06 68甲15 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}(编辑)和\textit{H.Wiklicky}(编辑),第11届编程语言和系统定量方面国际研讨会论文集,意大利罗马,2013年3月23日至24日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1415.68017) 全文: 内政部 arXiv公司 链接
小狗,加布里埃尔(编辑);蒂齐亚诺别墅(编辑) 2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1415.68045号 理论计算机科学电子论文集(EPTCS)119.滑铁卢:开放出版协会(OPA)。255页。,仅电子版,开放存取(2013年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Puppis}(编辑)和\textit{T.Villa}(编),第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1415.68045) 全文: 内政部 arXiv公司 链接
法比奥·莫加维罗(编辑);阿尼埃洛·穆拉诺(编辑);莫舍·瓦尔迪。(编辑) 2013年3月16日至17日,意大利罗马,第一届战略推理国际研讨会会议记录。 (英语) 兹比尔1415.68040 理论计算机科学电子论文集(EPTCS)112.滑铁卢:开放出版协会(OPA)。122页。,仅电子版,开放存取(2013年)。MSC公司:68-06 60年第68季度 68T42型 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}(ed.)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16-17日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1415.68040) 全文: 内政部 arXiv公司 链接
穆罕默德·法乌齐(Mohamed Faouzi Atig)(编辑);艾哈迈德·雷兹(编辑) 第十四届国际研讨会会议记录无限状态系统验证,法国巴黎,2012年8月27日。 (英语) Zbl 1415.68012号 理论计算机科学电子论文集(EPTCS)107.滑铁卢:开放出版协会(OPA)。75页。,仅电子版,开放存取(2013年)。MSC公司:68-06 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}(编辑)和textit{A.Rezine}(编),第14届国际研讨会会议记录无限状态系统验证,法国巴黎,2012年8月27日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1415.68012) 全文: 内政部 arXiv公司 链接
赫伯特,威克利基(编辑);梅克·马西克(编辑) 2012年3月31日和4月1日,爱沙尼亚塔林,第十次编程语言和系统量化方面研讨会论文集。 (英语) Zbl 1415.68052号 理论计算机科学电子论文集(EPTCS)85.滑铁卢:开放出版协会(OPA)。136页。,仅电子版,开放存取(2012年)。MSC公司:68-06 68甲15 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Wiklicky}(编辑)和\textit{M.Massink}(编),第十届编程语言和系统定量方面研讨会论文集,爱沙尼亚塔林,2012年3月31日和4月1日。滑铁卢:开放出版协会(OPA)(2012;Zbl 1415.68052) 全文: 内政部 arXiv公司 链接
马可·费拉(编辑);阿尼埃洛·穆拉诺(编辑) 2012年9月6日至8日,意大利那不勒斯,第三届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 (英语) Zbl 1392.68016号 理论计算机科学电子论文集(EPTCS)96.滑铁卢:开放出版协会(OPA)。260页。(2012).MSC公司:68-06 第68季度第45季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}(编辑)和\textit{A.Murano}(主编),第三届游戏、自动机、逻辑和形式验证国际研讨会,意大利那不勒斯,2012年9月6-8日。诉讼程序。滑铁卢:开放出版协会(OPA)(2012;Zbl 1392.68016) 全文: 内政部 arXiv公司 链接
梅克·马西克(编辑);格钦·诺曼(编辑) 2011年4月1日至3日,德国萨尔布吕肯,第九届编程语言定量方面研讨会论文集。 (英语) Zbl 1415.68037号 理论计算机科学电子论文集(EPTCS)57.滑铁卢:开放出版协会(OPA)。162页。,仅电子版,开放存取(2011年)。MSC公司:68-06 68甲15 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Massink}(编辑)和\textit{G.Norman}(编),第九届编程语言定量方面研讨会论文集,德国萨尔布吕肯,2011年4月1日至3日。滑铁卢:开放出版协会(OPA)(2011;Zbl 1415.68037) 全文: 内政部 arXiv公司 链接
于、方(编辑);王超(编辑) 2011年10月10日,第十三届无限状态系统验证国际研讨会,台湾台北。诉讼程序。 (英语) Zbl 1392.68037号 理论计算机科学电子论文集(EPTCS)73.滑铁卢:开放出版协会(OPA)。93页。,开放存取(2011)。MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}(编辑)和\textit{C.Wang}(主编),第十三届无限状态系统验证国际研讨会,台湾台北,2011年10月10日。诉讼程序。滑铁卢:开放出版协会(OPA)(2011;Zbl 1392.68037) 全文: 内政部 arXiv公司 链接
乔瓦娜·达戈斯蒂诺(编辑);萨尔瓦多拉托雷(编辑) 2011年6月15日至17日在意大利米诺里举行的第二届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 (英语) Zbl 1392.68014号 理论计算机科学电子论文集(EPTCS)54.滑铁卢:开放出版协会(OPA)。第277页。,开放存取(2011)。MSC公司:68-06 第68季度第45季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}(编辑)和\textit{S.La Torre}(编),第二届游戏、自动机、逻辑和形式验证国际研讨会,意大利米诺里,2011年6月15-17日。诉讼程序。滑铁卢:开放出版协会(OPA)(2011;Zbl 1392.68014) 全文: 内政部 arXiv公司 链接
汤姆·赫肖维茨(编辑) 校样和程序的类型。2009年5月12日至15日,法国Aussois,修订选定论文。程序。 (英语) Zbl 1392.68019号 理论计算机科学电子论文集(EPTCS)53.滑铁卢:开放出版协会(OPA)。第61页。,开放存取(2011)。MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirschowitz}(编辑),证明和程序的类型。2009年5月12日至15日,法国Aussois,修订了部分论文。程序。滑铁卢:开放出版协会(OPA)(2011;Zbl 1392.68019) 全文: 内政部 arXiv公司 链接
亚历山德拉·迪·皮耶罗(编辑);格钦·诺曼(编辑) 2010年3月27日至28日,塞浦路斯帕福斯,第八届编程语言定量方面研讨会会议记录。 (英语) Zbl 1415.68021号 理论计算机科学电子论文集(EPTCS)28.滑铁卢:开放出版协会。181页。,仅电子版,开放存取(2010年)。MSC公司:68-06 68甲15 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}(编辑)和\textit{G.Norman}(编),第八届编程语言定量方面研讨会论文集,塞浦路斯帕福斯,2010年3月27日至28日。滑铁卢:开放出版协会(OPA)(2010;Zbl 1415.68021) 全文: 内政部 链接