皮埃尔·甘蒂(编辑);黛拉·莫妮卡,达里奥(编辑) 第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,甘道夫2022年,西班牙马德里,2022年9月21日至23日。 (英语) Zbl 1522.68028号 理论计算机科学电子论文集(EPTCS)370.滑铁卢:开放出版协会。第228页。,仅电子化、开放存取(2022年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Della Monica}(主编),第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,《甘道夫2022》,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68028) 全文: 内政部 arXiv公司 链接
皮埃尔·甘蒂(编辑);大卫·布雷索林(编辑) 2021年9月20日至22日,在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1489.68014号 理论计算机科学电子论文集(EPTCS)346.滑铁卢:开放出版协会(OPA)。第307页。,仅电子化、开放存取(2021年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Bresolin}(主编),第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF,意大利帕多瓦,2021年9月20-22日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68014) 全文: 内政部 链接
Jean-Francois拉斯金(编辑);大卫·布雷索林(编辑) 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号 理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}(编辑)和\textit{D.Bresolin}(编辑),第11届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2020,比利时布鲁塞尔,2020年9月21-22日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68026) 全文: 内政部 arXiv公司 链接
杰罗姆·勒鲁(编辑);Jean-Francois拉斯金(编辑) 第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年GandALF,法国波尔多,2019年9月2日至3日。 (英语) Zbl 1436.68031号 理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅限电子版,开放访问(2019)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}(编辑)和\textit{J.-F.Raskin}(主编),第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年甘道夫,法国波尔多,2019月2-3日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1436.68031) 全文: 内政部 arXiv公司 链接
安德烈亚·奥兰迪尼(编辑);马丁·齐默尔曼(编辑) 第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2018年9月26日至28日,德国萨尔布吕肯,GandALF 2018。 (英语) Zbl 1436.68032号 理论计算机科学电子论文集(EPTCS)277.滑铁卢:开放出版协会(OPA)。第279页。,仅电子版,开放存取(2018年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}(编辑)和\textit{M.Zimmermann}(编者),第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,《2018年甘道夫》,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)(2018;Zbl 1436.68032) 全文: 内政部 arXiv公司 链接
帕特里夏·鲍耶(编辑);安德烈亚·奥兰迪尼(编辑);圣彼得罗,皮耶路易吉(编辑) 第八届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2017年9月20日至22日,意大利罗马,GandALF 2017。 (英语) Zbl 1436.68017号 理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}(ed.)等人,第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20-22日。滑铁卢:开放出版协会(OPA)(2017;Zbl 1436.68017) 全文: 内政部 arXiv公司 链接
坎通纳,多梅尼科(编辑);乔治·德尔扎诺(编辑) 2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号 理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会。315页。,仅电子版,开放存取(2016年)。MSC公司:68-06 65年第68季度 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日。 (英语) Zbl 1435.68028号 理论计算机科学电子论文集(EPTCS)193.滑铁卢:开放出版协会(OPA)。185页。,仅电子版,开放存取(2015年)。MSC公司:68-06 65年第68季度 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公司 链接
阿德里亚诺·佩隆(编辑);卡拉广场(编辑) 第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2014,意大利维罗纳,2014年9月10-12日。 (英语) Zbl 1435.68038号 理论计算机科学电子论文集(EPTCS)161.滑铁卢:开放出版协会(OPA)。274页。,仅电子版,开放存取(2014年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Peron}(编辑)和\textit{C.Piazza}(编辑),第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,2014年9月10日至12日,意大利维罗纳,GandALF 2014。滑铁卢:开放出版协会(OPA)(2014;Zbl 1435.68038) 全文: 内政部 arXiv公司 链接
小狗,加布里埃尔(编辑);蒂齐亚诺别墅(编辑) 2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) 兹比尔1415.68045 理论计算机科学电子论文集(EPTCS)119.滑铁卢:开放出版协会(OPA)。255页。,仅电子版,开放存取(2013年)。MSC公司:68-06 65年第68季度 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公司 链接
马可·费拉(编辑);阿尼埃洛·穆拉诺(编辑) 2012年9月6日至8日,意大利那不勒斯,第三届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 (英语) Zbl 1392.68016号 理论计算机科学电子论文集(EPTCS)96.滑铁卢:开放出版协会(OPA)。260页。(2012).MSC公司:68-06 65年第68季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}(编辑)和\textit{A.Murano}(主编),第三届游戏、自动机、逻辑和形式验证国际研讨会,意大利那不勒斯,2012年9月6-8日。诉讼程序。滑铁卢:开放出版协会(OPA)(2012;Zbl 1392.68016) 全文: 内政部 arXiv公司 链接
乔瓦娜·达戈斯蒂诺(编辑);萨尔瓦多拉托雷(编辑) 2011年6月15日至17日在意大利米诺里举行的第二届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 (英语) Zbl 1392.68014号 理论计算机科学电子论文集(EPTCS)54.滑铁卢:开放出版协会。第277页。,开放存取(2011)。MSC公司:68-06 65年第68季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}(编辑)和\textit{S.La Torre}(编),第二届游戏、自动机、逻辑和形式验证国际研讨会,意大利米诺里,2011年6月15-17日。诉讼程序。滑铁卢:开放出版协会(OPA)(2011;Zbl 1392.68014) 全文: 内政部 arXiv公司 链接