杰里米·阿维加德 数学和形式转换。 （英语） Zbl 07826993号 牛市。美国数学。Soc.，新Ser。 61，编号225-240（2024）.MSC公司：03B35型 68V20型 60年第68季度 68伏15 68五氧化二钒 68伏35 68T01型 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}，公牛。美国数学。Soc.，新Ser。61，第2号，225--240（2024；Zbl 07826993） 全文： 内政部 arXiv公司
左正康；曾志成；苏伟；黄，清；柯玉涵；刘增新；王长静；梁伟 基于分区递归求精规则的函数程序生成规范转换方法。 （英语） Zbl 07831789号 信息科学。 633, 613-632 (2023).MSC公司：68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{Z.Zuo}等人，《信息科学》。633、613--632（2023；Zbl 07831789） 全文： 内政部
尼佐夫，M.V。；E.V.库兹明。 控制程序开发和验证的LTL规范。 （俄语。英文摘要） 兹伯利07796825 模型。分析。Inf.姐妹。 30，第4号，308-339（2023）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Neyzov}和\textit{E.V.Kuzmin}，模型。分析。Inf.姐妹。30，编号4，308--339（2023；Zbl 07796825） 全文： 内政部 MNR公司
帕斯奎尔·安东尼特；Heath G.尼尔森。；卢卡·卡隆 感知系统的监测：确定性、概率性和基于学习的故障检测和识别。 （英语） 兹比尔1530.93308 Artif公司。智力。 325，文章ID 103998，35 p.（2023）.MSC公司：93C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonante}等人，Artif。智力。325，文章ID 103998，35 p.（2023；Zbl 1530.93308） 全文： 内政部 arXiv公司
格格利·科瓦什奈；Dorina Hedvig接吻；佩特尔·姆林科 量化神经网络的形式化验证。 （英语） Zbl 07777136号 安。数学。通知。 57, 36-48 (2023).MSC公司：68T07型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人，《数学年鉴》。通知。57、36-48（2023年；Zbl 07777136） 全文： 内政部
Kondrat’ev，D.A。 用于对数据序列上的循环中的错误进行推理的逻辑（IFIL）。 （英语） Zbl 07773062号 模型。分析。Inf.姐妹。 30，第3期，214-233（2023）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Kondrat’ev}，模型。分析。Inf.姐妹。30，编号3，214--233（2023；Zbl 07773062） 全文： 内政部 MNR公司
P.I.安东。；A.Yu Doroshenko。；伊万尼科，P.A。；O.A.Yatsenko。 Glushkov算法代数和自动并行计算设计。 （英语。乌克兰原文） Zbl 07765729号 赛博。系统。分析。 59，第5期，687-697（2023）; 翻译自Kibern。修女。分析。59，第5期，第3-15页（2023年）。MSC公司：68周01 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.I.Andon}等人，Cybern。系统。分析。59，编号5，687--697（2023；Zbl 07765729）；翻译自Kibern。修女。分析。59，第5号，第3-15号（2023年） 全文： 内政部
威廉·康拉迪；黛拉·莫妮卡，达里奥；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科；Stan、Ionel Eduard Fuzzy-Harpern和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） 全文： 内政部
克里斯托弗·斯特朗。；吴浩泽；Aleksandar Zeljić；凯尔·D·朱利安。；凯兹，盖伊；克拉克·巴雷特；Mykel J.Kochenderfer。 ReLU网络表示的目标函数的全局优化。 （英语） Zbl 07753622号 机器。学习。 112，第10号，3685-3712（2023）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Strong}等人，马赫。学习。112，编号10，3685--3712（2023；Zbl 07753622） 全文： 内政部 arXiv公司
克劳斯·米尔 实数复杂性中的证明验证。 （英语） Zbl 07753415号 纯应用程序。功能。分析。 8，第4期，1135-1157（2023）.MSC公司：2015年第68季度 65年第68季度 60年第68季度 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer}，纯应用。功能。分析。8，编号4，1135--1157（2023；Zbl 07753415） 全文： 链接
阿尼萨·凯里丁；艾蒂安·雷诺；苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 （英语） Zbl 1522.68329号 约束条件 28，编号1，45-66（2023）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人，约束28，No.1，45--66（2023；Zbl 1522.68329） 全文： 内政部
悉尼·M·卡茨。；凯尔·D·朱利安。；克里斯托弗·斯特朗。；Mykel J.Kochenderfer。 为神经网络控制器生成概率安全保证。 （英语） 兹比尔1518.68211 机器。学习。 112，第8期，2903-2931（2023）.MSC公司：60年第68季度 68T05型 93C40型 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Katz}等人，马赫。学习。112，第8号，2903--2931（2023；Zbl 1518.68211） 全文： 内政部 arXiv公司
卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波；Juan C.Jaramillo。；佩雷斯（Jorge A.Pérez）。 Maude中基于会话的并发：可执行语义和类型检查。 （英语） Zbl 1512.68173号 J.日志。阿尔盖布。方法计划。 133，文章ID 100872，42 p.（2023）.MSC公司：68问题85 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Ramírez Restrepo}等人，J.Log。阿尔盖布。方法程序。133，文章ID 100872，42 p.（2023；Zbl 1512.68173） 全文： 内政部
玛丽亚·乔昂·弗雷德；豪尔赫·索萨·平托 基于动态逻辑的验证VCGen：使用Why3进行元验证的练习。 （英语） Zbl 1512.68151号 J.日志。阿尔盖布。方法计划。 133，文章ID 100871，14 p.（2023）.MSC公司：60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.Sousa Pinto}，J.Log。阿尔盖布。方法程序。133，文章ID 100871，第14页（2023；Zbl 1512.68151） 全文： 内政部
希切姆·黛比 概率模型检查中基于约束的调试。 （英语） Zbl 1519.68132号 计算 105，编号2，321-351（2023）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Debbi}，Computing 105，No.2，321--351（2023年；Zbl 1519.68132） 全文： 内政部
张楠；于朝峰；段振华；田聪 统一时序逻辑的证明系统。 （英语） Zbl 07657061号 西奥。计算。科学。 949，文章ID 113702，28 p.（2023）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Theor。计算。科学。949，文章ID 113702，28 p.（2023；Zbl 07657061） 全文： 内政部
辛齐亚·迪·朱斯托；吉祖恩，洛伊奇德国；艾蒂安·洛兹 多方半双工系统和同步通信。 （英语） Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131，文章ID 100843，17 p.（2023）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人，J.Log。阿尔盖布。方法程序。131，文章ID 100843，17 p.（2023；Zbl 1512.68165） 全文： 内政部
科普，尼尔斯；赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻分析。 （英语） Zbl 07638593号 西奥。计算。科学。 943, 171-186 (2023).MSC公司：03B70号 03D78号 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Köpp}和\textit{H.Schwichtenberg}，Theor。计算。科学。943171--186（2023年；Zbl 07638593） 全文： 内政部
刘德鹏；王，弯腰；Fu，陈；张丽君 模型检查差异私有属性。 （英语） Zbl 1512.68157号 西奥。计算。科学。 943, 153-170 (2023).MSC公司：60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人，Theor。计算。科学。943153-170（2023年；Zbl 1512.68157） 全文： 内政部
克里斯托弗·波斯基特（Christopher M.Poskitt）。；丰满，细节 GP 2的一阶二阶错误逻辑。 （英语） Zbl 1529.68082号 J.日志。阿尔盖布。方法计划。 130，文章ID 100825，29 p.（2023）.MSC公司：68号30 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Poskitt}和\textit{D.Plump}，J.Log。阿尔盖布。方法程序。130，文章ID 100825，29 p.（2023；Zbl 1529.68082） 全文： 内政部 链接
费利克斯·A·沃尔夫。；马尔特·施韦霍夫；彼得·米勒 复杂逻辑的简明大纲：TaDA的校对大纲检查器。 （英语） Zbl 07785153号 形式方法系统。设计。 61，编号1，110-136（2022）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛F.A.Wolf｝等人，Form.Methods Syst。设计。61，编号1，110--136（2022；Zbl 07785153） 全文： 内政部 arXiv公司 OA许可证
德拉本特，Włodzimierz 关于皇后程序的正确性和完整性。 （英语） Zbl 1530.68054号 理论与实践。日志。程序。 22，编号1，37-50（2022）.MSC公司：68N17号 05B15号 60年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}，理论与实践。日志。程序。22，编号1，37--50（2022；Zbl 1530.68054） 全文： 内政部 arXiv公司 OA许可证
格雷格·迈克尔森 书评：F.Nielson和H.Riis Nielson，形式方法。开胃菜。 （英语） Zbl 1522.00084号 正式Asp。计算。 34，第2号，第12号论文，第2页（2022年）.MSC公司：00A17年 68-01 68号30 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Michaelson｝，正式Asp。计算。34，第2号，第12号论文，第2页（2022年；Zbl 1522.00084） 全文： 内政部
莱因哈德·威廉 书评：P.Cousot，抽象解释原则。 （英语） Zbl 1522.00134号 正式Asp。计算。 34，第2号，第11号论文，第3页（2022年）.MSC公司：00A17年 68-01 68号01 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm}，正式Asp。计算。34，第2号，第11号论文，第3页（2022年；Zbl 1522.00134） 全文： 内政部
塞缪尔·科沃德；劳伦斯·鲍尔森；西奥·德雷恩；埃米利亚诺·莫里尼 使用自动定理证明器对超越固定和浮点算法进行形式验证。 （英语） Zbl 1522.68306号 正式Asp。计算。 34，第2号，第9号论文，22页（2022年）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Coward}等人，正式Asp。计算。34，第2号，第9号论文，22页（2022年；Zbl 1522.68306） 全文： 内政部
蔡成浩；孙静；吉莉安·多比；Hóu，Zhé；新娘，哈德里安；董金松；李，斯科特·尤金 使用同时修改和重构的快速自动化抽象机器修复。 （英语） Zbl 1522.68300号 正式Asp。计算。 34，第2号，第8号论文，31页（2022年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Cai}等人，《正式评论》。计算。34，第2号，第8号论文，31页（2022年；Zbl 1522.68300） 全文： 内政部
希切姆·黛比 概率模型的调试游戏。 （英语） Zbl 1522.68308号 正式Asp。计算。 34，第2号，第7号论文，25页（2022年）.MSC公司：60年第68季度 60J20型 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Debbi}，正式Asp。计算。34，第2号，第7号论文，25页（2022年；Zbl 1522.68308） 全文： 内政部
克利夫·琼斯。；马丁·托马斯 英国正式方法的开发和部署。 （英语） 兹比尔1522.68009 正式Asp。计算。 34，第1号，第6号论文，21页（2022年）.MSC公司：2003年8月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{M.Thomas}，正式Asp。计算。34，第1号，第6号论文，21页（2022年；Zbl 1522.68009） 全文： 内政部 arXiv公司
托马斯·库利克；布里杰什·多戈尔；拉森，彼得·戈尔姆；马其顿，雨果·丹尼尔；史蒂夫·施耐德；彼得·沃根森（Peter W.V.Tran-Jörgensen）。；詹姆斯·伍德科克 安全性的实用形式化方法综述。 （英语） 兹比尔1522.68089 正式Asp。计算。 34，第1号，第5号论文，39页（2022年）.MSC公司：68平方米25 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kulik}等人，正式Asp。计算。34，第1号，第5号论文，39页（2022年；Zbl 1522.68089） 全文： 内政部 arXiv公司
安德烈亚斯·休姆伯格；达内什瓦·阿姆罗拉希；尼古拉·比约纳；劳拉·科瓦奇 基于代数的回路综合推理。 （英语） Zbl 1522.68155号 正式Asp。计算。 34，第1号，第4号论文，31页（2022年）.MSC公司：68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Humenberger}等人，《形式语法》。计算。34，第1号，第4号论文，31页（2022年；Zbl 1522.68155） 全文： 内政部 arXiv公司
斯特拉·西米奇；阿尔贝托·本普拉德；奥马尔·因弗索；米尔科·特里巴斯通 定点运算中的严密误差分析。 （英语） Zbl 1522.68162号 正式Asp。计算。 34，第1号，第3号论文，32页（2022年）.MSC公司：68号30 65G99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Simić}等人，正式Asp。计算。34，第1号，第3号论文，32页（2022年；Zbl 1522.68162） 全文： 内政部
凯兹，盖伊；克拉克·巴雷特；大卫·L·迪尔。；凯尔·朱利安；Mykel J.Kochenderfer。 Reluplex：关于深层神经网络的推理演算。 （英语） Zbl 1522.68328号 形式方法系统。设计。 60，编号1，87-116（2022）.MSC公司：60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}等人，《形式方法系统》。设计。60，编号1，87--116（2022；Zbl 1522.68328） 全文： 内政部
蒂姆·夸特曼；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩 多目标马尔可夫自动机。 （英语） Zbl 1522.68345号 形式方法系统。设计。 60，编号1，33-86（2022）.MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Quatmann}等人，《形式方法系统》。设计。60，编号1，33--86（2022；Zbl 1522.68345） 全文： 内政部 arXiv公司
瑞典雅各布斯；克里斯托弗·伦岑 当前在可靠和安全时钟同步方面的挑战。 （英语） Zbl 1512.68018号 牛市。欧洲协会。计算。科学。EATCS公司 138, 74-97 (2022).MSC公司：68M10个 64岁以下 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{C.Lenzen}，公牛。欧洲协会。计算。科学。EATCS 138、74--97（2022年；Zbl 1512.68018） 全文： 链接
Guerra，Paulo T。；雷娜塔·瓦瑟曼 修改时序逻辑中的系统规范。 （英语） 兹比尔1515.68180 J.逻辑语言信息。 31,4号，591-618（2022）.MSC公司：60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann}，J.Logic Lang.Inf.31，No.4，591--618（2022；Zbl 1515.68180） 全文： 内政部
G.库尔蒂斯。；狄克逊，C。；M·费希尔。；利西萨，A。 更正为：“通过一阶时序逻辑对先导/跟随系统进行参数化验证”。 （英语） 兹比尔1511.68161 形式方法系统。设计。 60，第2号，325-326（2022）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人，《形式方法系统》。设计。60，编号2，325--326（2022；Zbl 1511.68161） 全文： 内政部
Vivek Nigam先生；金敏英；伊恩·梅森；卡罗琳·塔尔科特 分布式自治代理系统中偏差的检测和诊断。 （英语） Zbl 1512.68159号 数学。结构。计算。科学。 32，第9期，1254-1282（2022）.MSC公司：60年第68季度 第68季度第42季度 93甲14 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人，数学。结构。计算。科学。32，编号9，1254--1282（2022；Zbl 1512.68159） 全文： 内政部
达尼尔·霍帕西；朱迪特·凯泽吉；Németh，Dávid J。 面向可信程序重构的通用框架。 （英语） Zbl 1524.68090号 《网络学报》。 25，编号4，753-779（2022）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Horpácsi}等人，《网络学报》。25，编号4，753--779（2022；Zbl 1524.68090） 全文： 内政部
亚历杭德罗·阿吉雷；Katsumata、Shin Ya；佐藤库拉 谎言中最薄弱的先决条件。 （英语） Zbl 1506.68053号 数学。结构。计算。科学。 32，第4期，472-510（2022年）.MSC公司：60年第68季度 03B70号 03G30型 18立方厘米 18纳米45 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Aguirre}等人，《数学》。结构。计算。科学。32，编号4，472--510（2022；Zbl 1506.68053） 全文： 内政部
马塞多，努诺；朱利安·布鲁内尔；戴维·谢穆伊尔；阿尔西诺·库尼亚 Pardinus：时间关系模型查找器。 （英语） Zbl 1512.68158号 J.汽车。推理 66，第4号，861-904（2022）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Macedo}等人，J.Autom。推理66，No.4，861--904（2022；Zbl 1512.68158） 全文： 内政部 哈尔
大卫·J·皮尔斯。；马克·乌廷；林赛·格罗夫斯 使用Boogie验证Whiley程序。 （英语） Zbl 1512.68059号 J.汽车。推理 66，第4期，747-803（2022）.MSC公司：68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人，J.Autom。推理66，No.4，747--803（2022；Zbl 1512.68059） 全文： 内政部
西蒙·多尔蒂；萨迪·达尔瓦迪；布里杰什·多戈尔；海克·卫尔海姆 统一操作弱内存验证：公理方法。 （英语） Zbl 1508.68216号 ACM事务处理。计算。日志。 23，第4条，第27条，第39页（2022年）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，《美国医学杂志》。计算。日志。23，第4号，第27条，第39页（2022年；Zbl 1508.68216） 全文： 内政部
罗宾·赫希；米库拉斯（Mikulás，Szabolcs）；蒂姆·斯托克斯 非确定性程序的代数：恶魔般的操作、命令和公理。 （英语） 兹比尔1499.08001 日志。J.IGPL公司 30，第5号，886-906（2022）.MSC公司：08A02号 08A70号 05年6月 20个M10 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人，日志。J.IGPL 30，第5号，886--906（2022年；Zbl 1499.08001） 全文： 内政部 arXiv公司 链接
彼得·奇尼；罗兰·迈耶；普拉卡什·塞瓦桑 广播网络的活力。 （英语） Zbl 1506.68008号 计算 104，第10号，2203-2223（2022）.MSC公司：68M10个 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chini}等人，Computing 104，No.10，2203--2223（2022；Zbl 1506.68008） 全文： 内政部 arXiv公司
拉希德·泽诺；拉纳德普·比斯沃斯；艾哈迈德·博阿贾尼；康斯坦丁·埃纳；穆罕默德·埃拉迪 检查分布式数据库的因果一致性。 （英语） 兹比尔1506.68022 计算 104，第10号，2181-2201（2022）.MSC公司：第68页，共15页 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Zennou}等人，Computing 104，No.10，2181--2201（2022；Zbl 1506.68022） 全文： 内政部 arXiv公司
保罗·亨特；吉列尔莫·佩雷斯。；Jean-François拉斯金 更正为：“无遗憾的反应合成”。 （英语） Zbl 1495.68135号 学报信息。 59，第5号，671（2022）.MSC公司：60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人，《信息学报》59，第5期，671页（2022年；Zbl 1495.68135） 全文： 内政部
埃戈尔·弗拉基米洛维奇·库兹敏 有界计数器的LTL规范。 （俄语。英文摘要） Zbl 1497.68313号 模型。分析。Inf.姐妹。 29，编号1，44-59（2022）.MSC公司：60年第68季度 03B44号 68号30 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuz'min}，模型。分析。Inf.姐妹。29，第1号，44-59（2022；Zbl 1497.68313） 全文： 内政部 MNR公司
Darion Haase先生；埃里希·格拉德尔；理查德·威尔克 将逻辑和逻辑与团队语义分离。 （英语） Zbl 07587325号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103063，13 p.（2022）.MSC公司：03B70号 03B60号 03C80号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Haase}等人，Ann.Pure Appl。逻辑173，第10号，文章ID 103063，13页（2022；Zbl 07587325） 全文： 内政部
程琪；J.莫里斯·罗哈斯；大庆湾 计算有限域上大型多项式系统的zeta函数。 （英语） Zbl 1498.11240号 J.复杂性 73，文章ID 101681，10 p.（2022）.MSC公司：2016年11月 11国道25号 14国集团10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Cheng}等人，J.Complexity 73，文章ID 101681，10 p.（2022；Zbl 1498.11240） 全文： 内政部 arXiv公司
本杰明·比特纳；马可·波扎诺；亚历山德罗·西马蒂；马可·加里奥；斯特凡诺·托内塔；维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 （英语） Zbl 1491.68107号 Artif公司。智力。 309，文章ID 103725，39 p.（2022）.MSC公司：60年第68季度 90B25型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人，Artif。智力。309，文章ID 103725，39 p.（2022；Zbl 1491.68107） 全文： 内政部
罗伯特·巴格纳拉；阿布拉莫·巴格纳拉；法比奥·比塞利；米歇尔·齐亚里；罗伯塔·戈里 用于程序验证的IEEE 754浮点算法的正确近似。 （英语） Zbl 1490.68078号 约束条件 27，编号1-2，29-69（2022）.MSC公司：68号30 65克50 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人，《限制条件》27，编号1--2，29-69（2022；Zbl 1490.68078） 全文： 内政部 arXiv公司
瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 （英语） 兹比尔1504.68030 Inf.计算。 285，B部分，文章ID 104892，77 p.（2022）.MSC公司：68甲15 68甲18 68甲19 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh}，信息计算。285，B部分，文章ID 104892，77页（2022；Zbl 1504.68030） 全文： 内政部 arXiv公司
帕里托什·K·潘迪亚。；阿莫尔·瓦坎卡尔 运行时强制屏蔽的规范和最佳反应合成。 （英语） Zbl 1504.68131号 Inf.计算。 285，B部分，文章ID 104865，18 p.（2022）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{A.Wakankar}，Inf.Compute。285，B部分，文章ID 104865，18 p.（2022；Zbl 1504.68131） 全文： 内政部 arXiv公司
普洛塔萨，维奥雷尔；尤利亚德拉戈米尔；斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 （英语） Zbl 1487.68160号 Inf.计算。 285，B部分，文章ID 104819，43 p.（2022）.MSC公司：60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人，《信息计算》。285，B部分，文章ID 104819，43 p.（2022；Zbl 1487.68160） 全文： 内政部 arXiv公司
丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 （英语） Zbl 07538307号 Inf.计算。 285，B部分，文章ID 104810，23 p.（2022）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，《信息计算》。285，B部分，文章ID 104810，23 p.（2022；Zbl 07538307） 全文： 内政部 链接
本杰明·阿米诺夫；阿尼埃洛·穆拉诺；萨沙·鲁宾；弗洛里安·祖勒格 在部分已知环境中验证代理导航。 （英语） Zbl 1495.68234号 Artif公司。智力。 308，文章ID 103724，34 p.（2022）.MSC公司：68T42型 03B44号 65年第68季度 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Aminof｝等人，人工制品。智力。308，文章ID 103724，34 p.（2022；Zbl 1495.68234） 全文： 内政部
玛丽亚·阿尔普恩特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） Zbl 07517439号 安。数学。Artif公司。智力。 90，第5号，499-522（2022）.MSC公司：68N17号 68甲18 第68季度第42季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439） 全文： 内政部 链接
冯、袁；李三江；英明生 分布式量子程序的验证。 （英语） Zbl 1508.68218号 ACM事务处理。计算。日志。 23，第3条，第19条，40页（2022年）.MSC公司：60年第68季度 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人，ACM Trans。计算。日志。23，第3号，第19条，40页（2022年；Zbl 1508.68218） 全文： 内政部 arXiv公司
谢瑞峰；胡镇江 一般递归透镜组合器及其计算法则。 （英语） Zbl 1499.68071号 西奥。计算。科学。 913, 113-137 (2022).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛R.Xie｝和\textit｛Z.Hu｝，Theor。计算。科学。913113-137（2022年；Zbl 1499.68071） 全文： 内政部
徐明；傅建玲；梅静怡；邓玉欣 量子马尔可夫链上的模型检查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） 全文： 内政部
埃敏·卡拉耶尔；埃德加·冈萨·莱兹 协作编辑框架WOOT的最终一致性很强。 （英语） Zbl 1485.68021号 分布计算。 35，第2期，145-164（2022）.MSC公司：64岁以下 68第05页 60年第68季度 68单位15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Karayel}和\textit{E.González}，分布计算。35，编号2，145--164（2022；Zbl 1485.68021） 全文： 内政部
莫森野生动物园；玛丽克·赫斯曼 CUDA中并行前缀和流压缩算法的形式化验证。 （英语） Zbl 1483.68091号 西奥。计算。科学。 912, 81-98 (2022).MSC公司：68号30 03B70号 60年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.Safari}和\textit{M.Huisman}，Theor。计算。科学。912，81-98（2022；兹比尔1483.68091） 全文： 内政部
塔马斯·托特；伊斯坦·马齐克 离散变量时间自动机的可配置验证。 （英语） Zbl 1483.68208号 学报信息。 59，第1期，1-35页（2022年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tóth}和\textit{I.Majzik}，《学报》第59卷第1期，第1--35页（2022年；Zbl 1483.68208） 全文： 内政部
爱德华·博内；金恩贞（Kim，Eun Jung）；圣埃芬托马斯；雷米·瓦特里甘特 双胞胎宽度。一： 牵引式FO型号检查。 （英语） Zbl 1523.68039号 美国临床医学杂志 69，第1号，第3条，46页（2022年）.MSC公司：60年第68季度 03C13号机组 2007年6月 68年第27季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{埃里·博内特}等人，J.ACM 69，第1号，第3条，46页（2022年；Zbl 1523.68039） 全文： 内政部 arXiv公司
安德烈·普拉泽 更正为：“混合系统的差分动态逻辑”。 （英语） Zbl 07498611号 J.汽车。推理 66、第1、173号（2022年）.MSC公司：68伏15 03B70号 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}，J.Autom。推理66，No.1，173（2022；Zbl 07498611） 全文： 内政部
萨迪·达尔瓦迪；布里杰什·多戈尔；西蒙·多尔蒂；海克·卫尔海姆 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 （英语） Zbl 07498610号 J.汽车。推理 66，编号1，141-171（2022）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dalvandi}等人，J.Autom。推理66，No.1，141--171（2022；Zbl 07498610） 全文： 内政部 arXiv公司
迈克尔·弗里德曼；Haah，Jeongwan先生；马修·黑斯廷斯。 量子细胞自动机的群结构。 （英语） 兹比尔1487.81041 Commun公司。数学。物理学。 389，第3期，1277-1302（2022）.MSC公司：81页68 68问题80 81问题93 81S25美元 60克50 60年第68季度 81兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Freedman}等人，Commun。数学。物理学。389，第3号，1277--1302（2022；Zbl 1487.81041） 全文： 内政部 arXiv公司
劳拉·博泽利；阿尼埃洛·穆拉诺；阿德里亚诺·佩隆 无上下文时间形式：鲁棒自动机和线性时序逻辑。 （英语） Zbl 1528.68213号 Inf.计算。 283，文章ID 104673，30 p.（2022）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bozzelli｝等人，信息计算。283，文章ID 104673，30 p.（2022；Zbl 1528.68213） 全文： 内政部 链接
沙乌尔·阿尔马戈；德米特里·奇斯蒂科夫；约尔·瓦克宁；詹姆斯·沃雷尔 离散动力系统的o极小不变量。 （英语） Zbl 1502.68177号 ACM事务处理。计算。日志。 23，第2条，第9条，第20页（2022年）.MSC公司：60年第68季度 03C64号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人，美国医学会Trans。计算。日志。23，第2号，第9条，20页（2022年；Zbl 1502.68177） 全文： 内政部 arXiv公司
扎尼斯·阿内夫拉维斯；马修·菲利普；丹尼尔·奈德；保罗·塔布阿达 正确是不够的：使用健壮的线性时序逻辑进行有效验证。 （英语） Zbl 1502.68178号 ACM事务处理。计算。日志。 23，第2条，第8条，第39页（2022年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Anevlavis}等人，ACM Trans。计算。日志。23，第2号，第8条，39页（2022年；Zbl 1502.68178） 全文： 内政部 arXiv公司
亚西尔·马哈茂德；阿恩·迈尔 命题依赖逻辑中模型检查和可满足性的参数化复杂性。 （英语） Zbl 07473202号 安。数学。Artif公司。智力。 90，编号2-3，271-296（2022）.MSC公司：60年第68季度 03B70号 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}和\textit{A.Meier}，Ann.数学。Artif公司。智力。90，编号2--3，271--296（2022；Zbl 07473202） 全文： 内政部 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 07467467号 西奥。计算。科学。 903, 26-38 (2022).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔}，Theor。计算。科学。903，26-38（2022；Zbl 07467467） 全文： 内政部
徐，熊；王淑玲；詹伯华；金、项羽；Jean-Pierre塔宾；詹乃军 通过结合AADL和Simulink/Stateflow，对网络物理系统进行统一的图形联合建模、分析和验证。 （英语） Zbl 07467466号 西奥。计算。科学。 903, 1-25 (2022).MSC公司：60年第68季度 第68季度55 68问题85 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人，Theor。计算。科学。903，1--25（2022；Zbl 07467466） 全文： 内政部
阿曼，博格丹；加布里埃尔·乔巴努 移动代理系统和加权时间自动机中的声誉动态。 （英语） 兹比尔1483.68220 Inf.计算。 282，文章ID 104653，22 p.（2022）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu}，Inf.Comput。282，文章ID 104653，22 p.（2022；Zbl 1483.68220） 全文： 内政部
Angelo蒙塔纳里；皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 （英语） Zbl 1515.68185号 西奥。计算。科学。 899, 48-79 (2022).MSC公司：60年第68季度 03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，Theor。计算。科学。899、48-79（2022年；Zbl 1515.68185） 全文： 内政部
丹尼尔·塞尔瓦拉特南；迈克尔·坎通尼；J.M.达沃伦。；伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 （英语） Zbl 1478.68174号 西奥。计算。科学。 897, 135-163 (2022).MSC公司：60年第68季度 03B44号 68T40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人，Theor。计算。科学。897135-163（2022年；Zbl 1478.68174） 全文： 内政部 arXiv公司
张燕；朱兆辉；张金金 在\（\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年；兹比尔1489.68173） 全文： 内政部
汉娜·贡默施塔特；贾利民；弗兰克·芬宁 会话类型的并发合同。 （英语） Zbl 1487.68165号 J.日志。阿尔盖布。方法计划。 124，文章ID 100731，24 p.（2022）. 审核人：安蒂·瓦尔马里（Jyväskylä） MSC公司：68问题85 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gommerstadt}等人，J.Log。阿尔盖布。方法程序。124，文章ID 100731，24 p.（2022；Zbl 1487.68165） 全文： 内政部 链接
鲁宾·鲁比奥；马蒂·奥利特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔 战略的元层次转换。 （英语） Zbl 07432502号 J.日志。阿尔盖布。方法计划。 124，文章ID 100728，21 p.（2022）.MSC公司：60年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人，J.Log。阿尔盖布。方法程序。124，文章ID 100728，21 p.（2022；Zbl 07432502） 全文： 内政部 arXiv公司
鲁宾·鲁比奥；马蒂·奥利特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔 使用Maude中的策略模拟和模型检查膜系统。 （英语） Zbl 07432501号 J.日志。阿尔盖布。方法计划。 124，文章ID 100727，25 p.（2022）.MSC公司：2007年第68季度 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人，J.Log。阿尔盖布。方法程序。124，文章ID 100727，25 p.（2022；Zbl 07432501） 全文： 内政部 arXiv公司
朱塞佩·普里米埃罗；佛朗哥·雷蒙迪；陈、陶璐 优先弹性和可进化软件系统的变化理论。 （英语） Zbl 1525.68030号 合成 198，补遗23，S5719-S5744（2021）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero}等人，《合成》198，S5719--S5744（2021；Zbl 1525.68030） 全文： 内政部 链接
米盖尔·桑切斯·奥达兹（Miguel A.Sanchez-Ordaz）。；伊莎贝尔·加西亚·孔特雷拉斯；维克托·佩雷斯；JoséF·莫拉莱斯。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 VeriFly公司：通过增量进行实时断言检查。 （英语） Zbl 1530.68059号 理论与实践。日志。程序。 21，第6期，768-784（2021）.MSC公司：68N17号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Sanchez-Ordaz}等人，《理论与实践》。日志。程序。21，第6号，768--784（2021；Zbl 1530.68059） 全文： 内政部 arXiv公司
比肖克桑·卡夫；格雷姆·恒河；彼得·斯图基（Peter J.Stuckey）。；彼得·沙赫特；哈拉尔德·森德加德 支持转换的前提推理。 （英语） Zbl 1530.68065号 理论与实践。日志。程序。 21，第6号，700-716（2021）.MSC公司：68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人，《理论与实践》。日志。程序。21，第6号，700--716（2021；Zbl 1530.68065） 全文： 内政部 arXiv公司
埃蒂安·安德烈；黄家阮；劳雷·佩特鲁奇；孙骏 非零度假设下的分布式参数模型检验时间自动机。 （英语） Zbl 1522.68294号 形式方法系统。设计。 59，编号1-3，253-290（2021）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《形式方法系统》。设计。59，编号1--3，253--290（2021；Zbl 1522.68294） 全文： 内政部
斯里尼瓦斯·皮尼塞蒂；安吉特·普拉丹；帕塔·鲁普；斯塔夫罗斯·特里帕基斯 重新访问合成运行时强制。 （英语） Zbl 1522.68342号 形式方法系统。设计。 59，编号1-3，205-252（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人，《形式方法系统》。设计。59，编号1--3，205-252（2021；Zbl 1522.68342） 全文： 内政部
科托Mascle；丹尼尔·奈德；马克西米利安·施温格；保罗·塔布阿达；亚历山大·韦内特；马丁·齐默尔曼 从LTL到rLTL监控：通过健壮语义改进可监控性。 （英语） Zbl 1522.68334号 形式方法系统。设计。 59，编号1-3，170-204（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mascle}等人，《形式方法系统》。设计。59，编号1-3170-204（2021；兹bl 1522.68334） 全文： 内政部
安吉洛·费兰多；拉斐尔·卡多佐（Rafael C.Cardoso）。；玛丽·法雷尔；马特·勒克库克；法比奥·帕帕奇尼；迈克尔·费希尔；维维亚娜·马斯卡迪 弥合单模型和多模型预测运行时验证之间的差距。 （英语） Zbl 1522.68315号 形式方法系统。设计。 59，编号1-3，44-76（2021）.MSC公司：60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferrando}等人，《形式方法系统》。设计。59，编号1--3，44-76（2021；Zbl 1522.68315） 全文： 内政部
大卫·蒙尼厄 如果添加了过程调用，缓存访问静态分析中的复杂性差距就会增大。 （英语） Zbl 1522.68158号 形式方法系统。设计。 59，编号1-3，1-20（2021）.MSC公司：68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}，形式方法系统。设计。59，编号1--3，1--20（2021；Zbl 1522.68158） 全文： 内政部 arXiv公司 哈尔
米罗诺夫，A.M。 一个并行程序的数学模型以及基于该模型的MPI程序验证方法。 （俄语。英文摘要） Zbl 1517.68073号 模型。分析。Inf.姐妹。 28，第4号，394-412（2021）.MSC公司：68甲19 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Mironov}，模型。分析。Inf.姐妹。28，第4号，394--412（2021；Zbl 1517.68073） 全文： 内政部 MNR公司
格纳滕科，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；兹bl 1517.68237） 全文： 内政部 MNR公司
扎哈罗夫，V.A。（编辑）；新墨西哥州希洛夫。（编辑） 来自期刊编辑。 （俄语） Zbl 1507.68049号 模型。分析。Inf.姐妹。 28，第4号，322-324（2021）.MSC公司：68-06 68号30 第68季度55 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.Zakharov｝（编辑）和\textit｛N.V.Shilov｝（编辑），模型。分析。Inf.姐妹。28，第4号，322--324（2021；Zbl 1507.68049） 全文： MNR公司
J.C.卡拉斯克尔。；Mecheraoui，K。 以对象为中心的基于回放的一致性检查：揭示期望线和局部偏差。 （英语） Zbl 1507.68212号 模型。分析。Inf.姐妹。 28，第2期，146-168（2021）.MSC公司：68问题85 60年第68季度 91B68型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Carrasquel}和\textit{K.Mecheraoui}，模型。分析。Inf.姐妹。28，第2号，146--168（2021；Zbl 1507.68212） 全文： 内政部 MNR公司
E.V.库兹明。 计数器的LTL规范。 （俄语。英文摘要） Zbl 1507.68191号 模型。分析。Inf.姐妹。 28，第1号，104-119（2021）.MSC公司：60年第68季度 03B44号 03B70号 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuzmin}，模型。分析。Inf.姐妹。28、第1号、第104-119号（2021年；Zbl 1507.68191） 全文： 内政部 MNR公司
吉尔·巴特；雅各布，查理；史蒂夫·克莱默 有限域上的普遍等价性和大多数概率程序。 （英语） Zbl 1508.68215号 ACM事务处理。计算。日志。 23，第1条，第5条，第42页（2021年）.MSC公司：60年第68季度 2016年11月 68号30 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，ACM Trans。计算。日志。23，第1号，第5条，第42页（2021年；Zbl 1508.68215） 全文： 内政部
阿诺·杜兰德；朱哈·科廷宁；尼古拉斯·德·鲁吉-阿尔特黑尔；Väänänen，茹科 团队语义中数据复杂性的可追溯性边界。 （英语） Zbl 1508.68217号 ACM事务处理。计算。日志。 23，第1号，第3条，第21页（2021）.MSC公司：60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人，ACM Trans。计算。日志。23，第1号，第3条，第21页（2021；Zbl 1508.68217） 全文： 内政部 arXiv公司
莱安德罗·戈麦斯；亚历山大·马德拉；巴博萨、路易斯·索亚雷斯 的语义和逻辑模糊雅顿语法. （英语） Zbl 1499.03023号 软计算。 25，第9号，6789-6805（2021）.MSC公司：03B70号 03B52号 60年第68季度 68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛L.Gomes｝等人，《软计算》。25，编号9，6789--6805（2021；Zbl 1499.03023） 全文： 内政部
科伦坡托萨托，西尔瓦诺；圭多州长 遵从性和一致性的计算复杂性：在理论和实践之间划一条界线。 （英语） Zbl 1515.68175号 J.应用。日志。-IfCoLog J.日志。申请。 8，第4期，1023-1064（2021）.MSC公司：60年第68季度 65年第68季度 68问题85 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Colombo Tosatto}和\textit{G.Governatori}，J.Appl。日志。-IfCoLog J.日志。申请。8，编号4，1023--1064（2021；Zbl 1515.68175）
罗纳德·哈恩；艾丽斯·范德波尔 用S5模型对动态认知逻辑进行模型检查的计算复杂性。 （英语） Zbl 1515.68176号 J.应用。日志。-IfCoLog J.日志。申请。 8，第3号，621-658（2021）.MSC公司：60年第68季度 03B42号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.de Haan}和\textit{I.van de Pol}，J.Appl。日志。-IfCoLog J.日志。申请。8，编号3，621--658（2021；Zbl 1515.68176） 全文： arXiv公司
马克西米利亚诺·克里斯蒂亚；吉安弗兰科·罗西 \（\{\mathit{log}\}\）：将公式设置为程序。 （英语） 兹比尔1490.68079 伦德。问题。的里雅斯特马特大学 53，第23号论文，24页（2021年）.MSC公司：68号30 03B70号 03E20型 03E75型 68甲15 68N17号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi}，Rend。问题。Trieste Mat.Univ.53，论文编号23，24 p.（2021；Zbl 1490.68079） 全文： 内政部 arXiv公司