×

找到893个文档(结果1-100)

并发游戏的激励工程。 (英语) Zbl 07810626号

Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。
PDF格式BibTeX公司 XML格式引用

理性交互证明的结构复杂性。 (英语) Zbl 07787584号

Della Vedova,Gianluca(编辑)等人,《逻辑与计算的统一》。第19届欧洲可计算性会议,CiE 2023,格鲁吉亚巴统,2023年7月24日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13967, 231-245 (2023).
MSC公司:03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用

安全规范可实现性表。 (英语) Zbl 07728859号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 495-513 (2023).
PDF格式BibTeX公司 XML格式引用

在具有事件结构的弱记忆模型中推理承诺。 (英语) Zbl 07728848号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 282-300 (2023).
PDF格式BibTeX公司 XML格式引用

我们能交流吗?使用动态逻辑验证团队自动机。 (英语) Zbl 07728840号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 122-141 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限字上的参数区间时序逻辑。 (英语) Zbl 07802074号

Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37097-113(2022)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

高阶计算的泛型类型系统。 (英语) Zbl 07800868号

Castiglioni,Valentina(编辑)等人,第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集,EXPRESS/SOS 2022,波兰华沙,2022年9月12日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)368,43-59(2022)。
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

准确定性\(5^\prime\rightarrow 3^\prime \)Watson-Crick自动机。 (英语) Zbl 07800500号

Bordihn,Henning(ed.)等人,《第十二届自动机和应用非经典模型国际研讨会论文集》,NCMA 2022,Debrecen,匈牙利,2022年8月26日至27日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)367160-176(2022)。
MSC公司:68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

极化子类型。 (英语) Zbl 1528.68082号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 431-461 (2022).
MSC公司:68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用

会话类型的间隔概率。 (英语) Zbl 07691319号

Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13468, 123-140 (2022).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动驱动的部分订单缩减和LTL模型检查的引导搜索。 (英语) Zbl 1498.68160号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13182, 151-173 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

顺序信息流的味道。 (英语) Zbl 1498.68151号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,2022年VMCAI,美国宾夕法尼亚州费城,2022年1月16日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13182, 1-19 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展有界响应的公平性、假设和保证长期贷款+P合成。 (英语) Zbl 1522.68302号

Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第13085351-371页(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在反应合成中加入监测器而无需付出代价。 (英语) 兹比尔1497.68284

Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 337-353 (2021).
PDF格式BibTeX公司 XML格式引用

马尔可夫链中的概率原因。 (英语) Zbl 1497.68356号

Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 205-221 (2021).
PDF格式BibTeX公司 XML格式引用

基于因果关系的游戏解决。 (英语) Zbl 1493.68203号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).
PDF格式BibTeX公司 XML格式引用

结构计算。行为理论、逻辑、复杂性。 (英语) Zbl 07495064号

亚历山大·拉施克(编辑)等人,《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12750, 266-282 (2021).
MSC公司:68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算法的自然抽象级别是什么? (英语) Zbl 07495061号

亚历山大·拉施克(编辑)等人,《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。1275199-214(2021年)。
MSC公司:68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在双向运行时强制上。 (英语) Zbl 1489.68135号

Peters,Kirstin(编辑)等人,分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议,FORTE 2021,作为第16届分布式计算技术国际联合会议的一部分,于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12719, 3-21 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几何测度理论中的算法分形维数。 (英语) Zbl 07464646号

Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:施普林格。理论应用。计算。,271-302 (2021).
MSC公司:03D78号
PDF格式BibTeX公司 XML格式引用

递归证明中的桥接数组和ADT。 (英语) Zbl 1474.68048号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 24-42 (2021).
MSC公司:68号30 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

传记参考

全部的 前3名

软件