巴特·博加特;马克西姆·雅库博夫斯基;Van den Bussche,简 SHACL功能的表达性以及用于完全相等和不相交测试的扩展。 (英语) Zbl 07814924号 日志。方法计算。科学。 20,第1号,第16号论文,第34页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,日志。方法计算。科学。20,第1号,第16号论文,第34页(2024;Zbl 07814924) 全文: 内政部 arXiv公司
劳拉·博奇;Lanese,伊万;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 版次TPL:可逆时间过程语言。 (英语) Zbl 07814919号 日志。方法计算。科学。 20,第1号,第11号论文,35页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。方法计算。科学。20,第1号,第11号论文,35页(2024;Zbl 07814919) 全文: 内政部 arXiv公司
曼弗雷德·德罗斯特;古斯塔夫·格拉博勒;乔治·拉霍尼斯 加权线性动态逻辑。 (英语) Zbl 07805942号 发现的国际期刊。计算。科学。 35,编号1-2,145-177(2024).MSC公司:68季度xx 03亿xx 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《国际期刊》发现。计算。科学。35,编号1--2,145-177(2024;Zbl 07805942) 全文: 内政部
大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 (英语) Zbl 07810626号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。MSC公司:91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379,344--358(2023;Zbl 07810626) 全文: 内政部 arXiv公司
奥利维尔·芬克尔;维萨·哈拉瓦;特罗·哈尔朱;萨赫拉,埃萨 关于双无限和共轭后对应问题。 (英语) Zbl 07799053号 西奥·雷罗。通知。申请。 57,第7号论文,第11页(2023年).MSC公司:03天35分 03D40号 03天55 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}等人,RAIRO,Theor。通知。申请。57,第7号论文,第11页(2023;Zbl 07799053) 全文: 内政部 arXiv公司
马丁·拉兹克;戴维·巴恩斯;Sr Djan Krstić;德米特里·特拉泰尔 任意关系演算查询的有效评估。 (英语) Zbl 07789010号 日志。方法计算。科学。 19,第4号,第38号论文,40页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Raszyk}等人,《日志》。方法计算。科学。19,第4号,第38号论文,40页(2023;Zbl 07789010) 全文: 内政部 arXiv公司
阿纳尔多·塞斯科;罗伯托·戈里埃里 有限有界Petri网两个真正并发等价的判定性。 (英语) Zbl 07789009号 日志。方法计算。科学。 19,第4号,第37号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri},Log。方法计算。科学。19,第4号,第37号论文,37页(2023;Zbl 07789009) 全文: 内政部 arXiv公司
维姆·马滕斯;马蒂亚斯·尼沃思;蒂娜,波普 常规线索查询的三分法。 (英语) Zbl 07788992号 日志。方法计算。科学。 19,第4号,第20号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}等人,《日志》。方法计算。科学。19,第4号,第20号论文,第38页(2023;Zbl 07788992) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 随机博弈中与竞技场无关的有限记忆确定性。 (英语) Zbl 07788990号 日志。方法计算。科学。 19,第4号,第18号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。19,第4号,第18号论文,51页(2023;Zbl 07788990) 全文: 内政部 arXiv公司
柯斯汀·彼得斯;乌韦·内斯特曼;克里斯托夫·瓦格纳 FTMPST:容错多方会话类型。 (英语) Zbl 07788986号 日志。方法计算。科学。 19,第4号,第14号文件,第39页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}等人,日志。方法计算。科学。19,第4号,第14号论文,39页(2023;Zbl 07788986) 全文: 内政部 arXiv公司
丹尼尔·穆萨托夫;乔治·波塔波夫 理性交互证明的结构复杂性。 (英语) Zbl 07787584号 Della Vedova,Gianluca(编辑)等人,《逻辑与计算的统一》。第19届欧洲可计算性会议,CiE 2023,格鲁吉亚巴统,2023年7月24日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13967, 231-245 (2023).MSC公司:03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.穆萨托夫}和\textit{G.波塔波夫},莱克特。注释计算。科学。13967、231--245(2023;Zbl 07787584) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特 《没有贝丝和克雷格的生活:描述和模态逻辑中的定义和解释》,包含名词和角色。 (英语) Zbl 07760995号 ACM事务处理。计算。日志。 24,第4号,第34号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。24,第4号,第34号论文,51页(2023;Zbl 07760995) 全文: 内政部 arXiv公司 OA许可证
威廉·康雷迪;Della Monica,达里奥;埃米利奥·穆尼奥斯·贝拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: 内政部
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公司
佛朗哥·巴巴内拉;Lanese,伊万;埃米利奥·托斯托 形式舞蹈语言的理论。 (英语) Zbl 07731937号 日志。方法计算。科学。 19,第3号,第9号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,日志。方法计算。科学。19,第3号,第9号论文,36页(2023;Zbl 07731937) 全文: 内政部 arXiv公司
马尔科·贝尔纳多;克劳迪奥·梅齐娜。 桥接因果可逆性和时间可逆性:随机过程代数方法。 (英语) Zbl 07731917号 日志。方法计算。科学。 19,第2号,第6号论文,27页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina},Log。方法计算。科学。19,第2号,第6号论文,27页(2023;Zbl 07731917) 全文: 内政部 arXiv公司
达米安·巴斯托·加斯顿;本杰明·蒙梅吉;皮埃尔·阿莱·雷尼尔 定时系统的最优控制器综合。 (英语) Zbl 07731909号 日志。方法计算。科学。 19,第1号,第20号论文,77页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Busatto-Gaston}等人,日志。方法计算。科学。19,第1号,第20号论文,77页(2023;Zbl 07731909) 全文: 内政部 arXiv公司
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯 安全规范可实现性表。 (英语) Zbl 07728859号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 495-513 (2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermo}等人,Lect。注释计算。科学。14000,495--513(2023;Zbl 07728859) 全文: 内政部 arXiv公司
海克,韦尔海姆;劳拉·巴格曼;布里杰什·多戈尔 在具有事件结构的弱记忆模型中推理承诺。 (英语) Zbl 07728848号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 282-300 (2023).MSC公司:68问题85 03B70号 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim}等人,Lect。注释计算。科学。14000,282--300(2023;Zbl 07728848) 全文: 内政部 arXiv公司
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗?使用动态逻辑验证团队自动机。 (英语) Zbl 07728840号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 122-141 (2023).MSC公司:60年第68季度 03B70号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。注释计算。科学。14000、122--141(2023;Zbl 07728840) 全文: 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 (英语) Zbl 07713585号 ACM事务处理。计算。日志。 24,第3号,第24号论文,32页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。24,第3号,第24号文件,第32页(2023;Zbl 07713585) 全文: 内政部
雅各布·托兰;弗洛里安·沃兹 图微分的变量数和图同构公式的解析。 (英语) Zbl 07713584号 ACM事务处理。计算。日志。 24,第3号,第23号论文,第25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Torán}和\textit{F.Wörz},ACM Trans。计算。日志。24,第3号,第23号文件,第25页(2023;Zbl 07713584) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 (英语) Zbl 07713583号 ACM事务处理。计算。日志。 24,第3号,第22号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},ACM Trans。计算。日志。24,第3号,第22号论文,28页(2023;Zbl 07713583) 全文: 内政部
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 (英语) Zbl 07713582号 ACM事务处理。计算。日志。 24,第3号,第21号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,ACM Trans。计算。日志。24,第3号,第21号文件,第38页(2023;Zbl 07713582) 全文: 内政部 arXiv公司
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 (英语) Zbl 07713580号 ACM事务处理。计算。日志。 24,第3号,第19号论文,21页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi},ACM翻译。计算。日志。24,第3号,第19号论文,第21页(2023;Zbl 07713580) 全文: 内政部
汤姆·佩特尔;斯泽德,斯特凡 打公式很难解决吗? (英语) Zbl 07696121号 离散应用程序。数学。 337, 173-184 (2023).MSC公司:68泰克 68季度xx 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}和\textit{S.Szeider},离散应用程序。数学。337173--184(2023年;Zbl 07696121) 全文: 内政部 arXiv公司
安蒂·瓦尔马里;你好,劳里 具有未定义真值的正则谓词逻辑的完整性证明。 (英语) Zbl 1522.03063号 圣母院J.形式逻辑 64,第1号,61-93(2023). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{L.Hella},圣母院J.形式逻辑64,No.1,61-93(2023;Zbl 1522.03063) 全文: 内政部 arXiv公司
迪特马尔·伯旺格;劳伦特·多恩 观察与区分:在无限游戏中表示信息。 (英语) Zbl 07680317号 理论计算。系统。 67,第1期,4-27(2023年).MSC公司:68季度xx 91轴 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{L.Doyen},理论计算。系统。67,编号1,4--27(2023;Zbl 07680317) 全文: 内政部
詹姆斯·巴克斯特;安娜·卡瓦尔坎蒂;马西耶·加兹达;Robert M.Hierons。 使用CSP模型进行测试:时间、输入和输出。 (英语) Zbl 07672676号 ACM事务处理。计算。日志。 24,第2号,第17号论文,40页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}等人,ACM Trans。计算。日志。24,第2号,第17号论文,40页(2023;Zbl 07672676) 全文: 内政部
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 (英语) Zbl 07672673号 ACM事务处理。计算。日志。 24,第2号,第14号论文,73页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,ACM Trans。计算。日志。24,第2号,第14号文件,第73页(2023;Zbl 07672673) 全文: 内政部 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公司
弗朗西斯科·达尼诺;保拉·吉安尼尼;马里亚纽拉州Dezani-Ciancaglini 已取消对异步会话的全局类型的限制。 (英语) Zbl 07667093号 日志。方法计算。科学。 19,第1号,第3号论文,41页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}等人,日志。方法计算。科学。19,第1号,第3号论文,41页(2023;Zbl 07667093) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。19,第1号,第14号文件,第44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
罗宾·皮埃德鲁;法比奥·扎纳西 使用字符串图对有限状态自动机进行有限公理化。 (英语) Zbl 07667086号 日志。方法计算。科学。 19,第1号,第13号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Piedeleu}和\textit{F.Zanasi},日志。方法计算。科学。19,第1号,第13号文件,第38页(2023;Zbl 07667086) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 \(\mathsf{GR}(1)\)等价于\(\mathf{R}(一)\)。 (英语) Zbl 07609057号 Inf.流程。莱特。 179,文章ID 106319,8 p.(2023).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《Inf.过程》。莱特。179,文章ID 106319,8 p.(2023;Zbl 07609057) 全文: 内政部
Wałga,Przemys aw Andrzej 混合区间时序逻辑的计算复杂性。 (英语) Zbl 1512.03029号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103165,33页(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 03B70号 03B45号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga},Ann.纯应用。逻辑174,第1号,文章ID 103165,33页(2023;Zbl 1512.03029) 全文: 内政部
奥古斯托莫达内塞语 扩展细胞自动机的复杂性理论方面。 (英语) Zbl 07805975号 自然计算。 21,第1号,53-65(2022);更正同上,第21号,第1、67条(2022年)。MSC公司:68问题80 03日30分 04年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Modanese},自然计算。21,编号1,53--65(2022;Zbl 07805975) 全文: 内政部
劳拉·博泽利;阿德里亚诺·佩隆 无限字上的参数区间时序逻辑。 (英语) Zbl 07802074号 Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37097-113(2022)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{A.Peron},电子。程序。西奥。计算。科学。(EPTCS)370、97--113(2022;Zbl 07802074) 全文: 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格式引用 \textit{A.R.Bendixen}等人,《电子》。程序。西奥。计算。科学。(EPTCS)368,43-59(2022;Zbl 07800868) 全文: 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格式引用 \textit{B.Nagy},电子。程序。西奥。计算。科学。(EPTCS)367,160--176(2022;Zbl 07800500) 全文: arXiv公司 链接
曹恩洪;Štěpnička,Martin 关于部分模糊关系方程组的可解性。 (英语) Zbl 1522.03244号 模糊集系统。 450, 87-117 (2022).MSC公司:03E72型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{N.Cao}和\textit{M.Štěpnička},模糊集系统。450、87-117(2022年;Zbl 1522.03244) 全文: 内政部
泽珊·拉哈尼;达斯,安库什;亨利·德扬;安德烈亚·莫迪多;弗兰克·芬宁 极化子类型。 (英语) 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格式引用 \textit{Z.Lakhani}等人,Lect。注释计算。科学。13240,431--461(2022;Zbl 1528.68082) 全文: 内政部 arXiv公司
阿曼,博格丹;加布里埃尔·乔巴努 会话类型的间隔概率。 (英语) Zbl 07691319号 Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13468, 123-140 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Lect。注释计算。科学。13468、123--140(2022;Zbl 07691319) 全文: 内政部
托尔斯滕·维曼;斯特凡·米利厄斯;卢茨·施罗德 行为不公平通用模态见证的准线性时间计算。 (英语) Zbl 07639914号 日志。方法计算。科学。 18,第4号,第6号论文,48页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《日志》。方法计算。科学。18,第4号,第6号论文,48页(2022;Zbl 07639914) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采 异步共享内存程序的一般可判定性结果:高阶及更高阶。 (英语) Zbl 07639910号 日志。方法计算。科学。 18,第4号,第2号论文,30页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,日志。方法计算。科学。18,第4号,第2号文件,第30页(2022;Zbl 07639910) 全文: 内政部 arXiv公司
彼得·霍夫曼;雅库布·罗伊基 ([\mathcal{D}]^k\to\mathbb{Z}^D\)中无序数据向量的线性方程组。 (英语) Zbl 07639907号 日志。方法计算。科学。 18,第4号,第11号论文,39页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofman}和\textit{J.Różycki},Log。方法计算。科学。18,第4号,第11号文件,第39页(2022;Zbl 07639907) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 获得并行组合的有限公理化是否需要两个二进制运算符? (英语) Zbl 1508.68239号 ACM事务处理。计算。日志。 23,第4条,第22条,第56页(2022年).MSC公司:68问题85 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。23,第4号,第22条,56页(2022年;Zbl 1508.68239) 全文: 内政部 arXiv公司
卢卡·西科内;卢卡·帕多瓦尼 具有corules的推理系统,用于二进制会话类型的组合安全性和活性属性。 (英语) Zbl 07596575号 日志。方法计算。科学。 18,第3号,第27号论文,第29页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Ciccone}和\textit{L.Padovani},日志。方法计算。科学。18,第3号,第27号文件,第29页(2022;Zbl 07596575) 全文: 内政部 arXiv公司
马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,日志。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
本杰明·比斯平;大卫·詹森(David N.Jansen)。;乌韦·内斯特曼 一次性决定所有行为等效性:线性时间分支时间谱的游戏。 (英语) Zbl 07577583号 日志。方法计算。科学。 18,第3号,第19号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《日志》。方法计算。科学。18,第3号,第19号论文,33页(2022;Zbl 07577583) 全文: 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公司 链接
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔(Ebru Aydin Gol);伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英语) Zbl 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,《日志》。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 具有不确定性、概率和终止性的系统的迹理论。 (英语) Zbl 07566077号 日志。方法计算。科学。 18,第2号,第21号论文,66页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,日志。方法计算。科学。18,第2号,第21号论文,66页(2022;Zbl 07566077) 全文: arXiv公司 链接
乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;罗伯特·克雷伯斯 Actris 2.0版:分离逻辑中基于异步会话类型的推理。 (英语) Zbl 07566072号 日志。方法计算。科学。 18,第2号,第16号论文,64页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Kastberg-Hinrichsen}等人,Log。方法计算。科学。18,第2号,第16号论文,64页(2022;Zbl 07566072) 全文: arXiv公司 链接
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby,Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 (英语) Zbl 1498.68160号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13182, 151-173 (2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13182、151--173(2022年;Zbl 1498.68160) 全文: 内政部
埃齐奥·巴托西;托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;德扬·尼科维奇;奥利维拉·达科斯塔,安娜 顺序信息流的味道。 (英语) Zbl 1498.68151号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,2022年VMCAI,美国宾夕法尼亚州费城,2022年1月16日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13182, 1-19 (2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,Lect。注释计算。科学。13182,1-19(2022;Zbl 1498.68151) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 (英语) Zbl 1504.68138号 Inf.计算。 285,B部分,文章ID 104887,25 p.(2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。285,B部分,文章ID 104887,25 p.(2022;Zbl 1504.68138) 全文: 内政部
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑:免费选择任意两种。 (英语) 兹伯利07538307 Inf.计算。 285,B部分,文章ID 104810,第23页(2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息计算》。285,B部分,文章ID 104810,23 p.(2022;Zbl 07538307) 全文: 内政部 链接
Dimitar P.Guelev。;本·莫斯科夫斯基 离散时间区间时序逻辑的分离定理。 (英语) Zbl 1517.03014号 J.应用。非类别。日志。 32,1号,28-54(2022);更正同上,32,第4号,335-338(2022)。MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski},J.Appl。非类别。日志。32,编号1,28--54(2022;Zbl 1517.03014) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 配置结构的行为逻辑。 (英语) Zbl 1483.68222号 西奥。计算。科学。 913, 94-112 (2022).MSC公司:68问题85 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。913,94-112(2022;Zbl 1483.68222) 全文: 内政部
徐明;傅建玲;梅静怡;邓雨欣 量子马尔可夫链上的模型检查QCTL plus。 (英语) Zbl 1483.68212号 西奥。计算。科学。 913,43-72(2022).MSC公司:60年第68季度 03B44号 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。913、43-72(2022年;Zbl 1483.68212) 全文: 内政部
M.古拉尼。 基于量子逻辑的树自动机特征。 (英语) Zbl 1524.68171号 国际J.Theor。物理学。 61,第2期,第13号论文,24页(2022年).MSC公司:65年第68季度 03克12 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghorani},国际期刊Theor。物理学。61,第2号,第13号论文,24页(2022年;Zbl 1524.68171) 全文: 内政部
贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 有界可达性问题在FIFO机器中是可以判定的。 (英语) Zbl 07471708号 日志。方法计算。科学。 18,第1号,第19号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,日志。方法计算。科学。18,第1号,第19号论文,32页(2022;Zbl 07471708) 全文: arXiv公司 链接
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化。 (英语) 兹布尔07417704 日志。方法计算。科学。 18,第1号,第15号文件,第51页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。18,第1号,第15号论文,51页(2022;Zbl 07471704) 全文: arXiv公司 链接
帕特里夏·鲍耶;勒鲁克斯,圣潘;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 游戏中,您可以使用与竞技场无关的有限内存进行最佳游戏。 (英语) 兹比尔07417700 日志。方法计算。科学。 18,第1号,第11号论文,44页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。18,第1号,第11号论文,第44页(2022;Zbl 07471700) 全文: arXiv公司 链接
达斯,安库什;弗兰克·芬宁 Rast:一种用于资源软件会话类型的语言。 (英语) Zbl 07471698号 日志。方法计算。科学。 18,第1号,第9号论文,36页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{F.Pfenning},日志。方法计算。科学。18,第1号,第9号论文,36页(2022;Zbl 07471698) 全文: arXiv公司 链接
劳拉·内兹;埃齐奥·巴托西;卢卡·博托卢西;米歇尔·洛雷蒂 一种用于监测空间分布网络物理系统动态网络的逻辑。 (英语) Zbl 07471693号 日志。方法计算。科学。 18,第1号,第4号论文,30页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Nenzi}等人,日志。方法计算。科学。18,第1号,第4号论文,30页(2022;Zbl 07471693) 全文: arXiv公司 链接
金,赵;张博文;张磊;曹永志;王汉平 用于云存储系统本地推理的自适应完整证明系统。 (英语) Zbl 1517.68103号 西奥。计算。科学。 903, 39-73 (2022).MSC公司:68第20页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。903、39-73(2022年;Zbl 1517.68103) 全文: 内政部
曼弗雷德·德罗斯特;斯特凡·杜克;迪诺·曼德里奥利;马蒂奥·普拉德拉 加权运算符优先语言。 (英语) Zbl 1483.68162号 Inf.计算。 282,文章ID 104658,26 p.(2022).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。282,文章ID 104658,26 p.(2022;Zbl 1483.68162) 全文: 内政部 arXiv公司 链接
英明生;周,李;李,杨佳;冯、袁 不相交并行量子程序的证明系统。 (英语) Zbl 1478.68047号 西奥。计算。科学。 897, 164-184 (2022).MSC公司:68甲19 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}等人,Theor。计算。科学。897,164--184(2022;Zbl 1478.68047) 全文: 内政部
罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 (英语) Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Gorrieri},Theor。计算。科学。897,83-113(2022;Zbl 07437214) 全文: 内政部
张燕;朱兆辉;张金金 在\(\mathrm中编码安全{CLL}_R\). (英语) Zbl 1489.68173号 西奥。计算。科学。 897, 64-82 (2022). 审核人:马丁·兰格(卡塞尔) MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Theor。计算。科学。897,64-82(2022;Zbl 1489.68173) 全文: 内政部
奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 比较类型系统的死锁自由度。 (英语) Zbl 1477.68177号 J.日志。代数。方法计划。 124,文章ID 100717,43 p.(2022).MSC公司:68问题85 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Dardha}和\textit{J.A.Pérez},J.Log。代数。方法计划。124,文章ID 100717,43 p.(2022;Zbl 1477.68177) 全文: 内政部 arXiv公司
比肖克桑·卡夫;格雷姆·恒河;彼得·斯塔基。;彼得·沙赫特;哈拉尔德·森德加德 支持转换的前提推理。 (英语) Zbl 07776322号 理论与实践。日志。程序。 21,第6号,700-716(2021).MSC公司:68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。21,第6号,700--716(2021;Zbl 07776322) 全文: 内政部 arXiv公司
科托Mascle;尼尔,丹尼尔;马克西米利安·施温格;保罗·塔布阿达;亚历山大·韦内特;马丁·齐默尔曼 从LTL到rLTL监控:通过健壮语义改进可监控性。 (英语) Zbl 1522.68334号 形式方法系统。设计。 59,编号1-3170-204(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mascle}等人,《形式方法系统》。设计。59,编号1--3,170-204(2021;Zbl 1522.68334) 全文: 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 (英语) Zbl 1522.68302号 Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第13085351-371页(2021)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。13085、351--371(2021;Zbl 1522.68302) 全文: 内政部
格纳滕科,A.R。;扎哈罗夫,V.A。 线性时间时序逻辑的一个参数化扩展的可满足性和模型检验。 (俄语。英文摘要) Zbl 1517.68237号 模型。分析。Inf.姐妹。 28,第4号,356-371(2021).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Gnatenko}和\textit{V.A.Zakharov},模型。分析。Inf.姐妹。28,编号4,356--371(2021;Zbl 1517.68237) 全文: 内政部 MNR公司
阿塔哈尔·哈拉尔;Mansoor H.Alshehri。;纳赛尔·宾(Nasser Bin Turki);费萨尔·杜莱亨(Faisal Z.Duraihem)。 多集重写系统的广义映射。 (英语) 兹比尔1498.68131 软计算。 第17号第25页,11439-11448页(2021).MSC公司:2012年第68季度 03E20型 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kharal}等人,《软计算》。25,编号17,11439--11448(2021;Zbl 1498.68131) 全文: 内政部
肖恩·阿佐帕迪;尼尔·皮特曼;杰拉尔多·施奈德 在反应合成中加入监测器而无需付出代价。 (英语) 兹比尔1497.68284 Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 337-353 (2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azzopardi}等人,莱克特。注释计算。科学。12971、337--353(2021;Zbl 1497.68284) 全文: 内政部 arXiv公司
克里斯特尔·拜尔;弗洛里安·芬克;西蒙·扬奇;雅各布皮里鲍尔;罗宾·齐梅克 马尔可夫链中的概率原因。 (英语) Zbl 1497.68356号 Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 205-221 (2021).MSC公司:第68季度87 03B70号 60J10型 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。12971205-221(2021年;兹比尔1497.68356) 全文: 内政部 arXiv公司
克里斯特尔·拜尔;科宁,诺琳;伯恩德·芬克贝纳;弗洛里安·芬克;西蒙·扬奇;朱利安·西伯 基于因果关系的游戏解决。 (英语) Zbl 1493.68203号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).MSC公司:60年第68季度 03B70号 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。12759894--917(2021年;Zbl 1493.68203) 全文: 内政部 arXiv公司
克劳斯·迪特·施韦 结构计算。行为理论、逻辑、复杂性。 (英语) Zbl 07495064号 亚历山大·拉施克(编辑)等人,《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12750, 266-282 (2021).MSC公司:68倍 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Schewe},莱克特。注释计算。科学。12750266--282(2021;Zbl 07495064) 全文: 内政部
安德烈亚斯·普林茨 算法的自然抽象级别是什么? (英语) Zbl 07495061号 亚历山大·拉施克(编辑)等人,《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。1275199-214(2021年)。MSC公司:68倍 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Prinz},莱克特。注释计算。科学。12750,199--214(2021;Zbl 07495061) 全文: 内政部
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 在双向运行时强制上。 (英语) Zbl 1489.68135号 Peters,Kirstin(编辑)等人,分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议,FORTE 2021,作为第16届分布式计算技术国际联合会议的一部分,于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12719, 3-21 (2021).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。12719年3月21日(2021年;Zbl 1489.68135) 全文: 内政部
克莱门斯·库普克;朱里安·罗特 共导谓词的表达逻辑。 (英语) Zbl 07471679号 日志。方法计算。科学。 17,第4号,第19号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{J.Rot},日志。方法计算。科学。17,第4号,第19号论文,30页(2021;Zbl 07471679) 全文: arXiv公司 链接
米歇尔·平纳 事件结构中依赖关系的新操作表示。 (英语) Zbl 07471676号 日志。方法计算。科学。 17,第4号,第16号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。17,第4号,第16号论文,30页(2021;Zbl 07471676) 全文: arXiv公司 链接
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;皮埃尔·奥曼 控制随机人群。 (英语) Zbl 07471672号 日志。方法计算。科学。 17,第4号,第12号论文,21页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,《日志》。方法计算。科学。17,第4号,第12号论文,21页(2021;Zbl 07471672) 全文: arXiv公司 链接
弗朗西斯科·达尼诺 常规铸币的基础。 (英语) Zbl 07471662号 日志。方法计算。科学。 17,第4号,第2号论文,29页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino},日志。方法计算。科学。17,第4号,第2号论文,29页(2021;Zbl 07471662) 全文: arXiv公司 链接
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 可逆多方协议的因果一致性。 (英语) Zbl 07471661号 日志。方法计算。科学。 17,第4号,第1号论文,41页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Antares Mezzina}和\textit{J.A.Pérez},Log。方法计算。科学。17,第4号,第1号论文,41页(2021;Zbl 07471661) 全文: arXiv公司 链接
杰克·H·卢茨。;埃尔维拉,马约尔多莫 几何测度理论中的算法分形维数。 (英语) Zbl 07464646号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:施普林格。理论应用。计算。,271-302 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Lutz}和\textit{E.Mayordomo},in:分析中的可计算性和复杂性手册。查姆:施普林格。271--302(2021;Zbl 07464646) 全文: 内政部 arXiv公司
奥利维尔·伯内兹;阿默里·波利 模拟计算模型综述。 (英语) Zbl 07464644号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:施普林格。理论应用。计算。,173-226 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}和\textit{A.Pouly},in:分析中的可计算性和复杂性手册。查姆:施普林格。173-226(2021;Zbl 07464644) 全文: 内政部 arXiv公司
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 (英语) Zbl 1522.68322号 正式Asp。计算。 33,第6期,1209-1248(2021).MSC公司:60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,《正式Asp》。计算。33,第6号,1209--1248(2021;Zbl 1522.68322) 全文: 内政部 arXiv公司
彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释谓词和Presburger算法插入位向量公式。 (英语) 兹比尔1522.68142 形式方法系统。设计。 57,第2期,121-156(2021).MSC公司:68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人,《形式方法系统》。设计。57,编号2,121--156(2021;Zbl 1522.68142) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬丹。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321--344(2021;Zbl 1519.68156) 全文: 内政部 arXiv公司
玛丽亚·路易莎·博内;萨姆·巴斯;阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 基于最大可满足性的命题证明系统。 (英语) Zbl 1520.68103号 Artif公司。智力。 300,文章ID 103552,39 p.(2021).MSC公司:68兰特 20层03 65年第68季度 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bonet}等人,Artif。因特尔。300,文章ID 103552,39 p.(2021;Zbl 1520.68103) 全文: 内政部
库兹涅佐夫,斯捷潘·利沃维奇 克莱恩星,没有收缩的次指数,以及无限计算。 (英语) Zbl 07411055号 兄弟姐妹。È勒克特隆。Mat.Izv公司。 18,第2号,905-922(2021).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kuznetsov},Sib。È勒克特隆。Mat.Izv公司。18,编号2,905-922(2021;Zbl 07411055) 全文: 内政部
格里戈里·费迪尤科维奇;吉登·恩斯特 递归证明中的桥接数组和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格式引用 \textit{G.Fedyukovich}和\textit{G.Ernst},莱克特。注释计算。科学。12652,24-42(2021;Zbl 1474.68048) 全文: 内政部
Jean-Marie,马迪奥;Damien Pous;戴维·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 (英语) Zbl 07407797号 日志。方法计算。科学。 17,第3号,第25号论文,39页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Madiot}等人,日志。方法计算。科学。17,第3号,第25号论文,39页(2021;Zbl 07407797) 全文: arXiv公司 链接
迈克尔·布隆丁;米哈伊尔·拉斯金 具有状态的仿射向量加法系统可达性的复杂性。 (英语) Zbl 07407775号 日志。方法计算。科学。 17,第3期,第3号论文,31页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}和\textit{M.Raskin},日志。方法计算。科学。17,第3期,第3号论文,31页(2021;Zbl 07407775) 全文: arXiv公司 链接
安基永;罗斯·霍恩;蒂乌,阿尔文 使用直觉模态逻辑表征开放双相似性。 (英语) Zbl 07407774号 日志。方法计算。科学。 17,第3号,第2号论文,40页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Ahn}等人,日志。方法计算。科学。17,第3号,第2号论文,40页(2021;Zbl 07407774) 全文: arXiv公司 链接