×

找到35个文档(结果1-35)

第十三届图形计算模型国际研讨会论文集,GCM,法国南特,2022年7月6日。 (英语) Zbl 1522.68033号

理论计算机科学电子论文集(EPTCS)374.滑铁卢:开放出版协会(OPA)。93页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

2022年4月3日,德国慕尼黑,HCVS/VPT 2022,第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 (英语) Zbl 1522.68032号

理论计算机科学电子论文集(EPTCS)373.滑铁卢:开放出版协会(OPA)。第62页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,甘道夫2022年,西班牙马德里,2022年9月21日至23日。 (英语) Zbl 1522.68028号

理论计算机科学电子论文集(EPTCS)370.滑铁卢:开放出版协会(OPA)。第228页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

第37届编程语义数学基础会议论文集,MFPS,混合:奥地利萨尔茨堡和在线,2021年8月30日至9月2日。 (英语) Zbl 1489.68030号

理论计算机科学电子论文集(EPTCS)351.滑铁卢:开放出版协会(OPA)。第313页。,仅电子化、开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

2021年9月20日至22日,在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1489.68014号

理论计算机科学电子论文集(EPTCS)346.滑铁卢:开放出版协会(OPA)。第307页。,仅电子化、开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

2021年3月28日,第八届验证和合成Horn条款研讨会论文集,HCVS,虚拟版。 (英语) Zbl 1489.68020号

理论计算机科学电子论文集(EPTCS)344.滑铁卢:开放出版协会。108页。,仅电子化、开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

2021年3月27日至28日,卢森堡,VPT,第九届核查和项目转换国际研讨会会议记录。 (英语) Zbl 1489.68026号

理论计算机科学电子论文集(EPTCS)341.滑铁卢:开放出版协会(OPA)。第94页。,仅电子化、开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号

理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。
PDF格式BibTeX公司 XML格式引用

2020年4月25日至26日,爱尔兰都柏林,《2020年VPT/HCVS》,第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录。 (英语) 兹比尔1466.68013

理论计算机科学电子论文集(EPTCS)320.滑铁卢:开放出版协会(OPA)。127页。,仅电子化、开放存取(2020年)。
PDF格式BibTeX公司 XML格式引用

第六次霍恩条款验证与合成研讨会、2019年HCVS和第三次研讨会会议记录《程序等价性和关系推理》,PERR 2019,捷克共和国布拉格,2019年4月6日至7日。 (英语) Zbl 1441.68008号

理论计算机科学电子论文集(EPTCS)296.滑铁卢:开放出版协会(OPA)。75页。,仅电子、开放存取(2019年)。
PDF格式BibTeX公司 XML格式引用

第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2019年9月2日至3日,法国波尔多,GandALF 2019。 (英语) Zbl 1436.68031号

理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅电子、开放存取(2019年)。
PDF格式BibTeX公司 XML格式引用

2018年7月13日,英国牛津,HCVS 2018,第五届Horn子句验证与合成研讨会论文集。 (英语) Zbl 1441.68010号

理论计算机科学电子论文集(EPTCS)278.滑铁卢:开放出版协会(OPA)。第48页。,仅电子版,开放存取(2018年)。
PDF格式BibTeX公司 XML格式引用

第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2018年9月26日至28日,德国萨尔布吕肯,GandALF 2018。 (英语) Zbl 1436.68032号

理论计算机科学电子论文集(EPTCS)277.滑铁卢:开放出版协会(OPA)。279页。,仅电子版,开放存取(2018年)。
PDF格式BibTeX公司 XML格式引用

第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20日至22日。 (英语) 兹比尔1436.68017

理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。
PDF格式BibTeX公司 XML格式引用

2016年4月3日,荷兰埃因霍温举行的2016年HCVS第三次霍恩条款验证与合成研讨会会议记录。 (英语) Zbl 1441.68009号

理论计算机科学电子论文集(EPTCS)219.滑铁卢:开放出版协会。第68页。,仅电子版,开放存取(2016年)。
PDF格式BibTeX公司 XML格式引用

2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号

理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会(OPA)。315页。,仅电子版,开放存取(2016年)。
PDF格式BibTeX公司 XML格式引用

第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,热那亚,意大利,2015年9月21日至22日。 (英语) 兹比尔1435.68028

理论计算机科学电子论文集(EPTCS)193.滑铁卢:开放出版协会(OPA)。185页。,仅电子版,开放存取(2015年)。
PDF格式BibTeX公司 XML格式引用

2014年7月17日,奥地利维也纳,2014年HCVS,关于验证和合成Horn条款的第一次研讨会会议记录。 (英语) Zbl 1441.68007号

理论计算机科学电子论文集(EPTCS)169.滑铁卢:开放出版协会(OPA)。第81页。,仅电子版,开放存取(2014年)。
PDF格式BibTeX公司 XML格式引用

第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2014,意大利维罗纳,2014年9月10-12日。 (英语) 兹比尔1435.68038

理论计算机科学电子论文集(EPTCS)161.滑铁卢:开放出版协会(OPA)。第274页。,仅电子版,开放存取(2014年)。
PDF格式BibTeX公司 XML格式引用

2014年4月5日至6日,法国格勒诺布尔,第二届战略推理国际研讨会论文集,SR'14。 (英语) Zbl 1433.68028号

理论计算机科学电子论文集(EPTCS)146.滑铁卢:开放出版协会(OPA)。111页。,仅限电子版,开放访问(2014年)。
PDF格式BibTeX公司 XML格式引用

2014年4月6日,法国格勒诺布尔,SynCoP’14,第一届连续参数合成国际研讨会论文集。 (英语) Zbl 1433.68005号

理论计算机科学电子论文集(EPTCS)145.滑铁卢:开放出版协会(OPA)。第79页。,仅电子版(2014年)。
PDF格式BibTeX公司 XML格式引用

2013年10月14日,越南河内,第15届无限状态系统验证国际研讨会论文集,INFINITY’13。 (英语) Zbl 1433.68019号

理论计算机科学电子论文集(EPTCS)140.滑铁卢:开放出版协会(OPA)。87页。,仅电子版,开放存取(2014年)。
PDF格式BibTeX公司 XML格式引用

2013年6月24日至25日,荷兰埃因霍温,COS 2013,第一届控制操作员及其语义研讨会会议记录。 (英语) Zbl 1471.68013号

理论计算机科学电子论文集(EPTCS)127.滑铁卢:开放出版协会(OPA)。第129页。,仅电子版,开放存取(2013年)。
PDF格式BibTeX公司 XML格式引用

语义学、抽象解释和程序推理:2013年9月19日至20日,美国堪萨斯州曼哈顿,大卫·A·施密特60岁生日之际,为他撰写的论文。 (英语) Zbl 1415.68014号

理论计算机科学电子论文集(EPTCS)129.滑铁卢:开放出版协会(OPA)。428页。,仅电子版,开放存取(2013年)。
PDF格式BibTeX公司 XML格式引用

2013年3月23日至24日,意大利罗马,第十一届编程语言和系统定量方面国际研讨会会议记录。 (英语) Zbl 1415.68017号

理论计算机科学电子论文集(EPTCS)117.滑铁卢:开放出版协会(OPA)。148页。,仅电子版,开放存取(2013年)。
PDF格式BibTeX公司 XML格式引用

2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1415.68045号

理论计算机科学电子论文集(EPTCS)119.滑铁卢:开放出版协会(OPA)。255页。,仅电子版,开放存取(2013年)。
PDF格式BibTeX公司 XML格式引用

2013年3月16日至17日,意大利罗马,第一届战略推理国际研讨会会议记录。 (英语) 兹比尔1415.68040

理论计算机科学电子论文集(EPTCS)112.滑铁卢:开放出版协会(OPA)。122页。,仅电子版,开放存取(2013年)。
PDF格式BibTeX公司 XML格式引用

第十四届国际研讨会会议记录无限状态系统验证,法国巴黎,2012年8月27日。 (英语) Zbl 1415.68012号

理论计算机科学电子论文集(EPTCS)107.滑铁卢:开放出版协会(OPA)。75页。,仅电子版,开放存取(2013年)。
PDF格式BibTeX公司 XML格式引用

2012年3月31日和4月1日,爱沙尼亚塔林,第十次编程语言和系统量化方面研讨会论文集。 (英语) Zbl 1415.68052号

理论计算机科学电子论文集(EPTCS)85.滑铁卢:开放出版协会(OPA)。136页。,仅电子版,开放存取(2012年)。
PDF格式BibTeX公司 XML格式引用

2012年9月6日至8日,意大利那不勒斯,第三届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 (英语) Zbl 1392.68016号

理论计算机科学电子论文集(EPTCS)96.滑铁卢:开放出版协会(OPA)。260页。(2012).
PDF格式BibTeX公司 XML格式引用

2011年4月1日至3日,德国萨尔布吕肯,第九届编程语言定量方面研讨会论文集。 (英语) Zbl 1415.68037号

理论计算机科学电子论文集(EPTCS)57.滑铁卢:开放出版协会(OPA)。162页。,仅电子版,开放存取(2011年)。
PDF格式BibTeX公司 XML格式引用

2011年10月10日,第十三届无限状态系统验证国际研讨会,台湾台北。诉讼程序。 (英语) Zbl 1392.68037号

理论计算机科学电子论文集(EPTCS)73.滑铁卢:开放出版协会(OPA)。93页。,开放存取(2011)。
PDF格式BibTeX公司 XML格式引用

2011年6月15日至17日在意大利米诺里举行的第二届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 (英语) Zbl 1392.68014号

理论计算机科学电子论文集(EPTCS)54.滑铁卢:开放出版协会(OPA)。第277页。,开放存取(2011)。
PDF格式BibTeX公司 XML格式引用

校样和程序的类型。2009年5月12日至15日,法国Aussois,修订选定论文。程序。 (英语) Zbl 1392.68019号

理论计算机科学电子论文集(EPTCS)53.滑铁卢:开放出版协会(OPA)。第61页。,开放存取(2011)。
MSC公司:68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用

2010年3月27日至28日,塞浦路斯帕福斯,第八届编程语言定量方面研讨会会议记录。 (英语) Zbl 1415.68021号

理论计算机科学电子论文集(EPTCS)28.滑铁卢:开放出版协会。181页。,仅电子版,开放存取(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段