Balasubramanian,A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 (英语) Zbl 07753362号 日志。方法计算。科学。 19,第4号,第2号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人,日志。方法计算。科学。19,第4号,第2号论文,44页(2023;Zbl 07753362) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 安全和协同安全语言的一阶逻辑特征。 (英语) 兹伯利07731941 日志。方法计算。科学。 19,第3号,第13号文件,第29页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。方法计算。科学。19,第3号,第13号论文,29页(2023;Zbl 07731941) 全文: 内政部 arXiv公司
达纳·菲斯曼;哈达尔·弗兰克尔;桑德拉·齐勒斯 推断符号自动机。 (英语) Zbl 07731916号 日志。方法计算。科学。 19,第2号,第5号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,《日志》。方法计算。科学。19,第2号,第5号论文,37页(2023;Zbl 07731916) 全文: 内政部 arXiv公司
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;伊利娜·斯托尔科夫斯卡;约瑟夫·威德 阈值自动机和拜占庭模型检查器参数化验证综述。 (英语) Zbl 07667095号 日志。方法计算。科学。 19,第1号,第5号论文,25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,日志。方法计算。科学。19,第1号,第5号论文,25页(2023;Zbl 07667095) 全文: 内政部 arXiv公司
托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅吉 一键定价的负权重计时游戏。 (英语) Zbl 07577581号 日志。方法计算。科学。 18,第3号,第17号论文,51页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。18,第3号,第17号文件,第51页(2022;Zbl 07577581) 全文: arXiv公司 链接
马赫萨·扎尔尼珊;法特梅·加塞米;埃桑·卡梅斯帕纳;马尔詹·西尔贾尼;约翰·哈特克利夫 互操作医疗系统中定时属性的规范和验证。 (英语) Zbl 07566069号 日志。方法计算。科学。 18,第2号,第13号论文,37页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Zarneshan}等人,日志。方法计算。科学。18,第2号,第13号论文,37页(2022;Zbl 07566069) 全文: arXiv公司 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 (英语) Zbl 07566065号 日志。方法计算。科学。 18,第2号,第9号论文,37页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,日志。方法计算。科学。18,第2号,第9号论文,37页(2022;Zbl 07566065) 全文: arXiv公司 链接
卡罗琳娜·莱赫蒂宁;帕里斯(Pawe Parys);斯文·舍韦;多米尼克·沃伊特扎克 求解拟多项式时间奇偶对策的递归方法。 (英语) Zbl 07471697号 日志。方法计算。科学。 18,第1号,第8号论文,第18页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}等人,《日志》。方法计算。科学。18,第1号,第8号论文,18页(2022;Zbl 07471697) 全文: arXiv公司 链接
汤马斯·马斯托普斯;马库斯·科洛奇 部分有序自动机和分段可测试性。 (英语) Zbl 07350780号 日志。方法计算。科学。 17,第2号,第14号论文,36页(2021年).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Masopust}和\textit{M.Krötzsch},Log。方法计算。科学。17,第2号,第14号论文,36页(2021;Zbl 07350780) 全文: arXiv公司 链接
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 数据字换能器的合成。 (英语) Zbl 1509.68132号 日志。方法计算。科学。 17,第1号,第22号论文,第25页(2021年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,日志。方法计算。科学。17,第1号,第22号论文,25页(2021;Zbl 1509.68132) 全文: arXiv公司 链接
米拉德·阿加乔哈里;阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。 离散投标无限长博弈中的确定性。 (英语) 兹比尔1509.91007 日志。方法计算。科学。 17,第1号,第10号论文,23页(2021年).MSC公司:91A43型 65年第68季度 91A50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aghajohari}等人,日志。方法计算。科学。17,第1号,第10号论文,23页(2021;Zbl 1509.91007) 全文: arXiv公司 链接
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;玛丽·范登·博加德 定量可达博弈中子博弈完美均衡的复杂性。 (英语) Zbl 1519.91050号 日志。方法计算。科学。 16,第4号,第8号论文,43页(2020年).MSC公司:91A43型 91年11月 91A68型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。16,第4号,第8号论文,43页(2020年;Zbl 1519.91050) 全文: arXiv公司 链接
迭戈·菲格拉;阿尼尔班·马朱姆达尔;M·普拉文。 使用能量游戏玩数据单词中的重复。 (英语) Zbl 1497.91007号 日志。方法计算。科学。 16,第3号,第1号论文,42页(2020年).MSC公司:91A05型 03B25号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,日志。方法计算。科学。16,第3号,第1号论文,42页(2020年;Zbl 1497.91007) 全文: arXiv公司 链接
皮埃尔·普拉迪奇;科林·里巴 库里·霍华德(Curry-Howard)对教堂综合的看法。 (英语) Zbl 1509.03121号 日志。方法计算。科学。 15,第4号,第13号论文,38页(2019年).MSC公司:05年3月 03B16号 35楼03号 03楼55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pradic}和\textit{C.Riba},日志。方法计算。科学。15,第4号,第13号论文,38页(2019年;Zbl 1509.03121) 全文: arXiv公司
奥尔纳库普弗曼;加尔省瓦尔迪 流程逻辑。 (英语) Zbl 1442.03014号 日志。方法计算。科学。 15,第4号,第9号论文,第24页(2019).MSC公司:03B70号 03B44号 05C21号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},日志。方法计算。科学。15,第4号,第9号论文,24页(2019年;Zbl 1442.03014) 全文: arXiv公司
托马斯·卡尔 共享变量系统的高维自动机建模。 (英语) Zbl 1426.68184号 日志。方法计算。科学。 15,第3号,第28号论文,21页(2019年). 审核人:菲利普·高彻(巴黎) MSC公司:68问题85 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahl},日志。方法计算。科学。15,第3号,第28号论文,21页(2019年;Zbl 1426.68184) 全文: arXiv公司
达纳州安格鲁因;蒂莫斯·安东尼奥普洛斯;达纳·菲斯曼 多项式时间内派生树语言的查询学习。 (英语) Zbl 1434.68210号 日志。方法计算。科学。 15,第3号,第21号论文,29页(2019年).MSC公司:68问题32 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人,日志。方法计算。科学。15,第3号,第21号论文,29页(2019年;Zbl 1434.68210) 全文: arXiv公司
何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 (英语) Zbl 1515.68181号 日志。方法计算。科学。 15,第2号,第13号论文,52页(2019年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,日志。方法计算。科学。15,第2号,第13号论文,52页(2019年;Zbl 1515.68181) 全文: arXiv公司
安德烈·谢夫内斯库;斯特凡·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;⑩erbnuṭ呃,Traian Florin 全通可达性逻辑。 (英语) Zbl 1421.68015号 日志。方法计算。科学。 15,第2号,第5号论文,第23页(2019).MSC公司:68纳米30 03B70号 68甲19 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.ötefnescu}等人,《日志》。方法计算。科学。15,第2号,第5号论文,23页(2019年;Zbl 1421.68015) 全文: arXiv公司
Fernández Duque,大卫 动力系统的直觉时间逻辑。 (英语) Zbl 1453.03014号 日志。方法计算。科学。 14,第3期,第3号论文,35页(2018年).MSC公司:03B44号 03B20型 37B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},日志。方法计算。科学。14,第3期,第3号论文,35页(2018;Zbl 1453.03014) 全文: 内政部 arXiv公司
大卫·布雷索林;埃米利奥·穆尼奥斯·韦拉斯科;Guido Sciavicco公司 模态逻辑的子命题片段。 (英语) Zbl 1453.03016号 日志。方法计算。科学。 14,第2号,第16号论文,35页(2018年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《日志》。方法计算。科学。14,第2号,第16号论文,35页(2018;Zbl 1453.03016) 全文: 内政部 arXiv公司