伊万·拉内斯;伊恩·菲利普斯;伊雷克·乌利多夫斯基 可逆计算的公理理论。 （英语） Zbl 07839133号 ACM事务处理。计算。日志。 25，第2条，第11条，40页（2024年）。MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，ACM翻译。计算。日志。25，第2号，第11条，40页（2024；Zbl 07839133） 全文： 内政部 arXiv公司
埃蒂安·格兰德让;塞奥·格伦特;Véronique梗 逻辑与实时细胞自动机程序中的归纳定义。 （英语） Zbl 07811868号 西奥。计算。科学。 987，文章ID 114355，59 p.（2024）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃·格兰德让}等人，Theor。计算。科学。987，文章ID 114355，59页（2024；Zbl 07811868） 全文： 内政部 链接
里巴科夫，V.V。 S4.2相关模态逻辑的可接受性和统一性。 （英语。俄文原件） Zbl 07804700号 同胞。数学。J。 65，第1期，167-173（2024）; 来自Sib的翻译。材料Zh。65，第1期，198-206（2024）。MSC公司：03Bxx号 68次发射 08Bxx年 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.65，No.1，167--173（2024；Zbl 07804700）；来自Sib的翻译。材料Zh。65，第1号，198--206（2024） 全文： 内政部
克里斯蒂安·卡鲁德。 停下，或不停下。这就是问题所在。 （英语） Zbl 07502836号 新加坡：世界科学（ISBN 978-981-12-3227-5/hbk）。250页。(2024).MSC公司：68-01年 03-01 03日第10天 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude}，停止或不停止。这就是问题所在。新加坡：世界科学（2024；Zbl 07502836） 全文： 内政部
亚历山大·乌沙科夫 约束非均匀球面方程：平均硬度。 arXiv:2405.03591 预打印，arXiv:2405.03591[math.GR]（2024）。MSC公司：2016年1月20日 2010年1月20日 68瓦30 BibTeX公司 引用 \textit{A.Ushakov}，“约束非均匀球面方程：平均硬度”，预印本，arXiv:2405.03591[math.GR]（2024） 全文： arXiv公司 OA许可证
佐托鲁黑田 在有界算法中形式化Pfaffian。 arXiv公司：2404.01728 预印本，arXiv：2404.01728[math.LO]（2024）。MSC公司：03B70号 15甲15 2015年3月1日 BibTeX公司 引用 \textit{S.Kuroda}，“在有界算术中形式化Pfaffian”，预打印，arXiv:2404.01728[math.LO]（2024） 全文： arXiv公司 OA许可证
西蒙·赫特格尔。;肖恩·沃尔什;弗朗西丝卡·扎福拉·布兰多 算法随机性、有效分解和收敛到真理的速度。 arXiv公司：2403.19978 预印本，arXiv:2403.19978[math.LO]（2024）。MSC公司：03天32分 03年10月 03D78号 03层60 60A10英寸 60B05型 60G48型 BibTeX公司 引用 \textit{S.M.Huttegger}等人，“算法随机性、有效分解和收敛到真理的速度”，预打印，arXiv:2403.19978[math.LO]（2024） 全文： arXiv公司 OA许可证
布宾德·辛格·阿南德 为什么类P和NP没有在有限的情况下定义好。 arXiv:2401.09478号 预打印，arXiv:2401.09478[math.LO]（2024）。MSC公司：00A30型 03A05号 03年10月 03日第10天 2015年3月1日 35层03 30楼03号 2015年第68季度 2017年第68季度 68T27型 BibTeX公司 引用 \textit{B.S.Anand}，“为什么类P和NP没有定义明确的有限性”，Preprint，arXiv:2401.09478[math.LO]（2024） 全文： arXiv公司 OA许可证
塞巴斯蒂安·巴比里;尼卡诺·卡拉斯科·瓦格斯;克里斯托巴尔·罗哈斯 超零维有效动力系统和SFT因子。 arXiv公司：2401.07973 预印本，arXiv:2401.07973[math.DS]（2024）。MSC公司：37B10号机组 37B02型 03D78号 2010年1月20日 BibTeX公司 引用 \textit{S.Barbieri}等人，“超零维有效动力系统和SFT因子”，Preprint，arXiv:2401.07973[math.DS]（2024） 全文： arXiv公司 OA许可证
德米特里·朱克 约束满足问题：是什么使问题变得简单。 （英语） Zbl 07823032号 Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第3卷。第1-4节。柏林：欧洲数学学会（EMS）。1530-1552年（2023年）。MSC公司：03B70号 08A70号 2017年第68季度 2015年3月1日 68T27型 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhuk}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第3卷。第1-4节。柏林：欧洲数学学会（EMS）。1530--1552（2023；Zbl 07823032） 全文： 内政部 OA许可证
保罗·巴拉里尼;马哈茂德·本特里奥;保罗·亨里·库内德 一种形式化的随机振荡器调谐方法。 （英语） Zbl 07810880号 Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 1-17 (2023).MSC公司：92B25型 92立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ballarini}等人，Lect。注释计算。科学。14137，1-17（2023；Zbl 07810880） 全文： 内政部
别克，V.C。;黄果明（Hoang Ngoc Minh，Vincel）;Ngo，Q.H。;Nguyen Dinh，V。 涉及发散多边形正则化的欧拉函数族。 （英语） Zbl 1531.11081号 2023年阿尔盖布雷特塞奥里德诺姆布雷斯（Algèbre et théorie des nombres）。贝桑松：法国科姆特大学出版社。出版物。数学。阿尔盖布雷·塞奥尔·贝桑松。Nombres 2023，5-28（2023）。MSC公司：11立方米2 2016年第05期 2010年1月20日 33层10 44A20型 PDF格式BibTeX公司 XML格式引用 \textit{V.C.Bui}等人，出版物。数学。贝桑松，阿尔盖布雷·泰奥尔。Nombres 2023，5--28（2023；Zbl 1531.11081） 全文： 内政部 arXiv公司
斯瓦提·穆马迪;巴瓦纳·鲁德拉 基于纠缠的非对称量子纠错的量子成本优化算法。 （英语） Zbl 07798684号 国际J.Theor。物理学。 62，第11号，第236号论文，第15页（2023年）。MSC公司：81页73 2012年第68季度 81页第42页 03年10月 81页65 91B32型 82立方厘米35 82B10型 46N10号 81页40页 PDF格式BibTeX公司 XML格式引用 \textit{S.Mummadi}和\textit{B.Rudra}，国际期刊Theor。物理。62，第11号，第236号论文，第15页（2023年；Zbl 07798684） 全文： 内政部
弗拉基米尔·列奥尼多维奇（Vladimir Leonidovich Vasyukov） 量子计算逻辑的公理化。 （英语） Zbl 07793836号 日志。伊斯斯莱德。 29，第2期，148-162（2023）。MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasyukov}，日志。伊萨德。29，第2号，148--162（2023；Zbl 07793836） 全文： 内政部
卡洛斯·巴蒂斯塔。;蒂亚戈·M·L·德维拉斯。;利昂·D·达席尔瓦。;阿登尼尔顿·J·达席尔瓦。 关于“Deutsch-Jozsa和Simon算法的高效经典模拟”的评论。 （英语） Zbl 07789849号 量子信息处理。 22，第11号，第399号论文，第9页（2023年）。MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Batista}等人，《量子信息处理》。22，第11号，第399号论文，第9页（2023年；Zbl 07789849） 全文： 内政部
卡勒布·卡姆鲁德 连续逻辑的广义有效完备性。 （英语） Zbl 07770954号 J.日志。分析。 15，第4号论文，第17页（2023年）。MSC公司：03C57 03D78号 03B52型 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}，J.Log。分析。15，第4号文件，第17页（2023；Zbl 07770954） 全文： 内政部 arXiv公司 OA许可证
小偷，G.R。;普雷西，M.P。;Buli Yohannis，塔西萨 无人机网络中基于量子退火的路由选择。 （英语） Zbl 07767097号 Yadav、Satya Prakash（编辑）等人，《量子安全加密算法和方法》。量子计算对网络安全的影响。量子计算。柏林：De Gruyter。13-24 (2023).MSC公司：81页68 2010年1月20日 62Cxx码 68米18 05C82号 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Thippeswamy}等人，in：量子安全加密算法和方法。量子计算对网络安全的影响。柏林：De Gruyter。13-24（2023年；Zbl 07767097） 全文： 内政部
拉贾伊，阿雷佐;马赫布贝侯什曼;塞耶德·阿贝德·侯赛尼 量子电路多目标逻辑综合的动态规划方法。 （英语） Zbl 07763939号 量子信息处理。 22，第10号，第384号文件，第23页（2023）。MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajaei}等人，《量子信息处理》。22，第10号，第384号论文，23页（2023年；Zbl 07763939） 全文： 内政部
马修·苏季克（Matthew P.Szudzik）。 可计算物理模型的语义。 （英语） Zbl 07755334号 螺柱日志。 111，第5号，779-819（2023）。MSC公司：03年10月 03C98号 03C57 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Szudzik}，研究日志。111，编号5，779--819（2023；Zbl 07755334） 全文： 内政部 arXiv公司 OA许可证
苏托尔敏，I.A。;北卡罗来纳州科洛梅特。 关于按位异或组合的加性微分概率。 （英语） Zbl 1532.81022号 普里克尔。Diskretn公司。材料。 2023年，第60号，第59-75号（2023年）。MSC公司：81页94 81页第10页 81页65 2006年第68季度 65季度30 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Sutormin}和\textit{N.A.Kolomets}，Prikl。Diskretn公司。材料2023，编号60，59-75（2023；Zbl 1532.81022） 全文： 内政部 MNR公司
卡勒布·卡姆鲁德;艾萨克·戈德布林;蒂莫西·麦克尼科尔。 关于可计算的度量结构理论的复杂性。 （英语） Zbl 07742505号 架构（architecture）。数学。逻辑 62，编号7-8，1111-1129（2023）。MSC公司：03C57 03D78号 03C75号 03B52型 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}等人，Arch。数学。逻辑62，编号7--81111--1129（2023；Zbl 07742505） 全文： 内政部 arXiv公司
张江;Kyaw、Thi Ha;斯特凡·菲利普;梁川·奎克;埃里克·舍克维斯特;童殿敏 几何和完整量子计算。 （英语） Zbl 1531.81069号 物理。代表。 1027, 1-53 (2023)。MSC公司：81页68 53元29角 2012年第68季度 81页65 81页第10页 81页73 81页第47页 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人，《物理学》。代表1027，1-53（2023；Zbl 1531.81069） 全文： 内政部 arXiv公司
亚历山大·米盖尔·平托;路易斯·莫尼兹·佩雷拉 逻辑程序的分层——层可分解语义和增量模型计算。 （英语） Zbl 1529.68071号 Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 206-221 (2023).MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pinto}和\textit{L.Moniz Pereira}，莱克特。注释计算。科学。13160206-221（2023年；Zbl 1529.68071） 全文： 内政部
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗？使用动态逻辑来验证团队自动机。 （英语） Zbl 1529.68165号 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 1529.68165） 全文： 内政部
V.V.科切金。;米哈伊洛维奇。 （k）值逻辑函数非单调复杂度估计的改进。 （英语。俄文原件） 兹比尔1527.94097 数学。笔记 113，编号6，794-803（2023）; 翻译自Mat.Zametki 113，No.6，849-862（2023）。MSC公司：94C11号机组 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kochergin}和\textit{A.V.Mikhailovich}，数学。注释113，第6号，794--803（2023；Zbl 1527.94097）；翻译自Mat.Zametki 113，No.6，849-862（2023） 全文： 内政部
摩西·加纳迪;马库斯·洛伊;乔治·泽采 可解Baumslag-Solitar群中的背包和幂词问题。 （英语） Zbl 1516.20066号 国际代数计算杂志。 33，第3期，617-639（2023年）。 审核人：恩里科·贾巴拉（威尼斯） MSC公司：2010年1月20日 2006年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人，《国际代数计算》。33，编号3617-639（2023；兹bl 1516.20066） 全文： 内政部
赛义德·曼苏尔·沙希迪;Shahram Etemadi Borujeni 一种具有较小尺寸的容错和可扩展的列式可逆量子乘法器。 （英语） Zbl 07688109号 量子信息处理。 22，第4号，第166号论文，第26页（2023年）。MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Shahidi}和\textit{S.E.Borujeni}，量子信息处理。22，第4号，第166号论文，第26页（2023年；Zbl 07688109） 全文： 内政部
吉列尔莫·巴迪亚;泽维尔·凯塞多;卡莱斯·诺格拉 有限值模态逻辑中的框架可定义性。 （英语） Zbl 07687148号 Ann.纯粹应用。逻辑 174，第7号，文章ID 103273，13 p.（2023）。MSC公司：03B45号 03B50号 03B52型 2015年3月1日 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人，Ann.Pure Appl。逻辑174，第7号，文章ID 103273，13页（2023；Zbl 07687148） 全文： 内政部 arXiv公司 OA许可证
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 自然演绎中的一个新连接词及其在量子计算中的应用。 （英语） Zbl 1529.81040号 西奥。计算。科学。 957，文章ID 113840，第27页（2023）。MSC公司：81页68 32E05型 第68页第18页 03B38型 68伏15 第81页，共15页 81页第10页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Díaz Caro｝和\textit｛G.Dowek｝，Theor。计算。科学。957，文章ID 113840，27 p.（2023；Zbl 1529.81040） 全文： 内政部 哈尔
简·吉尔曼 可计算性模型：代数、拓扑和几何算法。 （英语） Zbl 1511.20193号 Detinko，Alla（编辑）等，李群离散子群的计算方面。2021年6月14日至18日，美国罗得岛州普罗维登斯ICERM数学计算与实验研究所虚拟会议。普罗维登斯，RI：美国数学学会（AMS）。康斯坦普。数学。783, 57-68 (2023).MSC公司：20克20分 2010年1月20日 03天80 32国集团15 PDF格式BibTeX公司 XML格式引用 \textit{J.吉尔曼}，康特姆。数学。783，57-68（2023；Zbl 1511.20193） 全文： 内政部 arXiv公司
达纳·理查兹;亨利·汉堡包 计算机科学的逻辑和语言模型。第三版。 （英语） Zbl 07662225号 新加坡：世界科学（ISBN 978-981-12-6066-7/hbk；978-981-12-6068-1/电子书）。(2023).MSC公司：68-01年 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
卢卡·米凯克 可解释性逻辑的复杂性伊利诺伊州W公司和伊利诺伊州P（P）。 （英语） Zbl 1515.03216号 日志。J.IGPL公司 第1期第31页，194-213（2023）。MSC公司：03层45 03B45号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Mikec}，日志。J.IGPL 31，第1期，194--213（2023年；Zbl 1515.03216） 全文： 内政部
科普，尼尔斯;赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻分析。 （英语） 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） 全文： 内政部
阿斯玛·塔赫里;瓦伦蒂娜·齐里亚尼;劳里·凯图宁;马吉德·哈格帕拉斯特 用于多路复用器、解多路复用器和解码器的新型量子化电路设计。 （英语） 兹比尔1508.81506 量子信息处理。 22，第1号，第12号论文，21页（2023年）。MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Monfared}等人，《量子信息处理》。22，第1号，第12号论文，21页（2023年；Zbl 1508.81506） 全文： 内政部 OA许可证
Jetze Zoethout 部分组合代数上的三阶泛函。 （英语） Zbl 1502.18008号 Ann.纯粹应用。逻辑 174，第2号，文章ID 103205，36页（2023）。 审核人：西村广和（筑波） MSC公司：18对25 2009年第68季度 03B40型 03G30型 03D65年 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zoethout}，Ann.《纯粹的应用》。逻辑174，第2号，文章ID 103205，36页（2023；Zbl 1502.18008） 全文： 内政部 arXiv公司 OA许可证
亚历山大·乌沙科夫;克洛伊·韦尔斯 点灯器组中的二次方程。 arXiv公司：2401.08589 预打印，arXiv:2401.08589[math.GR]（2023）。MSC公司：2016年1月20日 2010年1月20日 68瓦30 BibTeX公司 引用 \textit{A.Ushakov}和\textit{C.Weiers}，“点灯器组中的二次方程”，Preprint，arXiv:2401.08589[math.GR]（2023） 全文： arXiv公司 OA许可证
伊凡·拉特金。 时间和空间复杂性之间的对应关系。 arXiv公司：2311.01184 预印本，arXiv:2311.01184[cs.CC]（2023）。MSC公司：2015年第68季度 2017年第68季度 2015年3月1日 03B70号 BibTeX公司 引用 \textit{I.V.Latkin}，“时间与空间复杂性的对应”，预印本，arXiv:2311.01184[cs.CC]（2023） 全文： arXiv公司 OA许可证
劳伦斯·莫斯。 自复制代数。 arXiv:2309.09931 预印本，arXiv：2309.09931[cs.LO]（2023）。MSC公司：03日第10天 04年第68季度 08B05号 BibTeX公司 引用 \textit{L.S.Moss}，“自我复制代数”，预印本，arXiv:2309.09931[cs.LO]（2023） 全文： 内政部 arXiv公司 OA许可证
卡罗琳·马特斯;亚历山大·乌沙科夫;阿敏·韦 有限群中球面方程的复杂性。 arXiv:2308.12841 预印本，arXiv:2308.12841[math.GR]（2023）。MSC公司：2010年1月20日 68瓦30 BibTeX公司 引用 \textit{C.Mattes}等人，“有限群中球面方程的复杂性”，预印本，arXiv:2308.12841[math.GR]（2023） 全文： arXiv公司 OA许可证
米查·加达（Micha J.Gajda）。 计算科学哲学。 arXiv:2302.02105 预打印，arXiv:2302.02105[cs.LO]（2023）。MSC公司：03年10月 2015年3月1日 03A05号 BibTeX公司 引用 \textit{M.J.Gajda}，“科学计算哲学”，预印本，arXiv:2302.02105[cs.LO]（2023） 全文： arXiv公司 OA许可证
冯仁艳;埃曼·阿克;王一松;刘万伟;斯特凡·施洛巴赫;丁伟平 计算CTL中的充分必要条件：一种遗忘方法。 （英语） Zbl 07830635号 信息科学。 616474-504（2022）。MSC公司：68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{R.Feng}等人，《信息科学》。616474-504（2022；Zbl 07830635） 全文： 内政部
A.Chouikh。;赛义德，T。;M.哈马尼。;M.本奈。 基于六能级原子系统的量子Toffoli门的实现。 （英语） 兹比尔1532.81017 国际地质杂志。方法Mod。物理学。 19，第3号，文章ID 2250041，18 p.（2022）。MSC公司：81页68 81V10型 81V80型 94甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Chouikh}等人，国际地质杂志。方法Mod。物理。19，第3号，文章ID 2250041，18 p.（2022；Zbl 1532.81017） 全文： 内政部
李孟;李景阳;郭富强;朱晓宇;梁二军;张，寿;严磊磊;冯、芒;苏世雷 多量子比特\（\mathrm{C} k（_k）\通过优化几何量子操作实现里德堡原子的mathrm{U}^m\）逻辑门。 （英语） 兹伯利07769824 安·物理。，柏林 534，第4号，文章ID 2100506，第7页（2022）。MSC公司：81至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Li}等人，Ann.Phys。，柏林534，第4号，文章ID 2100506，第7页（2022；Zbl 07769824） 全文： 内政部
米哈伊尔·沃尔科夫五世。 有限自动机的同步。 （英语。俄文原件） Zbl 07733482号 罗斯，数学。Surv公司。 77，第5号，819-891（2022）; 来自Usp的翻译。Mat.Nauk 77，第5期，第53-130页（2022年）。MSC公司：2015年3月1日 2010年1月20日 20立方米 65年第68季度 65年第68季度 70年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Volkov}，俄罗斯数学。Surv公司。77，No.5，819--891（2022；Zbl 07733482）；来自Usp的翻译。Mat.Nauk 77，No.5，53--130（2022） 全文： 内政部 MNR公司
新墨西哥州科加巴耶夫。 等效于Horn公式问题的复杂性。二、。 （英语。俄文原件） Zbl 1515.03184号 代数逻辑 61，第4号，318-327（2022）; 《代数逻辑学》第61卷第4期第469-482页（2022年）的译文。MSC公司：2015年3月1日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.T.Kogabaev}，代数逻辑61，No.4，318--327（2022；Zbl 1515.03184）；《代数逻辑学》第61卷第4期第469-482页（2022年）的译文 全文： 内政部
马诺利斯皮茨卡利斯;阿列克谢·利西萨;罗珊 瞬时和持续时间现象的表示和处理。 （英语） Zbl 1521.68063号 De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 135-156 (2022).MSC公司：2010年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Pitsikalis}等人，Lect。注释计算。科学。13290，135-156（2022；Zbl 1521.68063） 全文： 内政部 arXiv公司
劳伦特·巴托尔迪;维勒·萨洛 模拟和点灯器组。 （英语） Zbl 07672035号 组Geom。动态。 16，第4期，1461-1514（2022）。MSC公司：03天35分 05C25号 20E22型 20层65 2010年1月20日 37B10号机组 37亿B50 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bartholdi}和\textit{V.Salo}，Geom组。动态。16，第4号，1461--1514（2022；Zbl 07672035） 全文： 内政部 arXiv公司
Takemura、Akihiro;井上，胜美 矢量空间中基于梯度的支持模型计算。 （英语） Zbl 07671899号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 336-349 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Takemura}和\textit{K.Inoue}，莱克特。注释计算。科学。13416，336--349（2022；Zbl 07671899） 全文： 内政部
杰西卡·巴瓦雷斯科;缪劳;马可·图里奥·昆蒂诺 超越群体结构的单一渠道歧视：顺序和不确定因果顺序策略的优势。 （英语） Zbl 1507.81066号 数学杂志。物理学。 63，第4号，文章ID 042203，26 p.（2022）。MSC公司：81页68 第81页，共15页 81页第45页 81页40页 第81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Bavaresco}等人，J.数学。物理。63，第4号，文章ID 042203，26 p.（2022；Zbl 1507.81066） 全文： 内政部 arXiv公司
A.Yu Matrosova。;南卡罗来纳州奥斯塔宁。;戈辛，G.G。 推导TMR技术的近似逻辑电路。 （英语。俄文原件） Zbl 1520.81039号 俄罗斯物理。J。 65，编号4，751-760（2022）; Izv的翻译。维什。乌切布。扎韦德。，菲兹。65，第4期，第150-159页（2022年）。MSC公司：81页68 2012年第68季度 81页第10页 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Matrosova}等人，《俄罗斯物理学》。J.65，No.4，751--760（2022；Zbl 1520.81039）；Izv的翻译。维什。乌切布。扎韦德。，菲兹。65，第4号，150--159（2022） 全文： 内政部
伊夫根尼·卡根;亚历山大·里巴洛夫;罗纳德·雅格 原因乘积的确定性之和：带模糊聚合器的神经网络。 （英语） Zbl 1504.68064号 国际期刊不确定性。模糊知识-基于系统。 30，编号1，1-18（2022）。MSC公司：2006年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Kagan}等人，《国际期刊不确定性》。模糊知识-基于系统。30，编号1，1--18（2022；Zbl 1504.68064） 全文： 内政部
莎拉·里斯 自动群理论的发展。 （英语） Zbl 07632756号 Ohshika，Ken’ichi（编辑）等人，《瑟斯顿二世的传统》。几何图形和组。查姆：斯普林格。449-473 (2022).MSC公司：2010年1月20日 36楼20层 20层55 20层65 20楼67 57M60毫米 03日第10天 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Rees}，in：按照瑟斯顿二世的传统。几何图形和组。查姆：斯普林格。449--473（2022年；Zbl 07632756） 全文： 内政部 arXiv公司
李金芳;辛、子轩;胡洁茹;何东山 基于自旋-（1/2）系统的泡利算符的量子最优控制。 （英语） Zbl 1516.81113号 国际J.Theor。物理学。 61，第12号，第268号论文，20页（2022年）。MSC公司：81问题93 81页68 81页第10页 81兰特25 81页第47页 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Li}等人，国际期刊Theor。物理。61，第12号，第268号论文，20页（2022年；Zbl 1516.81113） 全文： 内政部
穆罕默德·伊利亚斯;肖恩·崔;马雷克·佩考夫斯基 拓扑量子计算中的三元逻辑设计。 （英语） Zbl 1507.81072号 《物理学杂志》。A、 数学。西奥。 55，第30号，文章ID 305302，54 p.（2022）。MSC公司：81页68 81页65 2012年第68季度 81V27型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Ilyas｝等人，J.Phys。A、 数学。西奥。55，第30号，文章ID 305302，54 p.（2022；Zbl 1507.81072） 全文： 内政部 arXiv公司
杨文池;Jean-François拉斯金;吕克·德·雷德 关系MDP的提升模型检查。 （英语） Zbl 07624287号 机器。学习。 111，第10号，3797-3838（2022）。MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.-C.Yang}等人，马赫。学习。111，编号10，3797--3838（2022；Zbl 07624287） 全文： 内政部 arXiv公司
劳伦特·巴托尔迪;托尔斯滕·格罗斯;伊戈尔·里塞诺克 第一组Grigorchuk中的换向器宽度。 （英语） Zbl 1512.20080号 组Geom。动态。 16，第2期，493-522（2022）。MSC公司：20E08年 20层65 2010年1月20日 68瓦30 2012年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Bartholdi}等人，Geom集团。动态。16，编号2，493--522（2022；Zbl 1512.20080） 全文： 内政部 arXiv公司
盛田贤一 可逆初等三角剖分元胞自动机及其复杂行为。 （英语） Zbl 07607376号 Adamatzky，Andrew（编辑），《自动化与复杂性》。埃里克·戈尔斯70岁生日礼物。查姆：斯普林格。新兴复杂性。计算。42, 359-381 (2022). 审核人：托马斯·沃德（达勒姆） MSC公司：68问题80 04年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.Morita｝，Emerg.复杂。计算。42、359--381（2022；Zbl 07607376） 全文： 内政部
弗朗齐斯科斯·威斯内特;科普，尼尔斯 二进制有符号数字表示中实数的极限。 （英语） Zbl 07596572号 日志。方法计算。科学。 18，第3号，第24号论文，28页（2022年）。MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiesnet}和\textit{N.Köpp}，日志。方法计算。科学。18，第3号，第24号论文，28页（2022；Zbl 07596572） 全文： 内政部 arXiv公司 OA许可证
贝诺·莫宁;卢多维奇·佩蒂 可计算性。随机性、逆向数学和超可计算性。（Calculabilité.Aléatoire，mathematiquesárebours et hypercalculabiliteé） （法语） 兹比尔1516.03001 黑Tableau107.巴黎：Calvage et Mounet（ISBN 978-2-916352-96-1/hbk）。第二十二、828页。(2022). 审核人：杰弗里·赫斯特（布恩） MSC公司：2001年3月 68-01年 03年月日 03年10月 03C07号机组 03B30型 35楼03号 03F40型 03天80 04年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{L.Patey}，计算学。Aléatoire，数学题与高可计算性。巴黎：Calvage et Mounet（2022；Zbl 1516.03001）
刘冠军 Petri网。并发系统的理论模型和分析方法。 （英语） 兹比尔1512.68001 新加坡：Springer（ISBN 978-981-19-6308-7/hbk；978-981-9-6311-7/pbk；978-19-6309-4/电子书）。xi，第279页。(2022). 审核人：T.C.Mohan（钦奈） MSC公司：68-01年 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Liu}，Petri网。并发系统的理论模型和分析方法。新加坡：施普林格（2022；Zbl 1512.68001） 全文： 内政部
托马斯·艾特;尼尔森·希格拉;Johannes Oetsch;迈克尔·普里茨 用于可视问答的神经符号ASP管道。 （英语） Zbl 07595337号 理论与实践。日志。程序。 22，第5期，739-754（2022）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《理论与实践》。日志。程序。22，编号5，739--754（2022；Zbl 07595337） 全文： 内政部 arXiv公司
约翰·斯蒂尔韦尔 证明的故事。逻辑和数学史。 （英语） Zbl 1505.01004号 新泽西州普林斯顿：普林斯顿大学出版社（ISBN 978-0-691-23436-6/hbk；978-0-671-23437-3/电子书）。xiv，第441页。(2022). 审核人：Roman Murawski（波兹南） MSC公司：01-01 03-01 03-03 01A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Stillwell}，证明的故事。逻辑和数学史。新泽西州普林斯顿：普林斯顿大学出版社（2022；Zbl 1505.01004） 全文： 内政部
埃戈尔·弗拉基米洛维奇·库兹敏 有界计数器的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公司 OA许可证
Miika Hannula公司;乔尼·维特玛 概率团队语义和实域上存在二阶逻辑中的可追踪边界。 （英语） Zbl 07587328号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103108，第30页（2022）。MSC公司：03B70号 03B60号 19年第68季度 2015年3月1日 2005年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}和\textit{J.Virtema}，Ann.Pure Appl。逻辑173，第10号，文章ID 103108，30页（2022；Zbl 07587328） 全文： 内政部 OA许可证
Miika Hannula公司;明纳州赫沃宁;朱哈·科廷宁 关于数量依赖的初等逻辑。 （英语） Zbl 07587327号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103104，21 p.（2022）。MSC公司：03B60号 03B70号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}等人，Ann.Pure Appl。逻辑173，第10号，文章ID 103104，21页（2022；Zbl 07587327） 全文： 内政部 arXiv公司 OA许可证
尼尔·夏皮拉 集合论及其在物理和计算中的应用。 （英语） Zbl 1504.03003号 新加坡：《世界科学》（ISBN 978-981-12-617-0/hbk；978-981-12-617-4/ebook）。xxv，454页。(2022).MSC公司：03-01 03E30年 03E10年 03E75型 70A05型 81页第10页 81第20页 81页68 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shapira}，集合论及其在物理和计算中的应用。新加坡：世界科学（2022；Zbl 1504.03003） 全文： 内政部
新墨西哥州科加巴耶夫。 等效于Horn公式问题的复杂性。 （英语。俄文原件） Zbl 1515.03183号 代数逻辑 60，编号6，380-388（2022）; 《代数逻辑学》第60卷第6期第575-586页（2021年）的译文。MSC公司：2015年3月1日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.T.Kogabaev}，代数逻辑60，No.6，380--388（2022；Zbl 1515.03183）；《代数逻辑60》第6卷第575--586页（2021年）的译文 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） 兹伯利07517439 安。数学。Artif公司。智力。 90，第5期，499-522（2022）。MSC公司：68N17号 68甲18 2012年第68季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439） 全文： 内政部 链接
Danny Nguyen;伊戈尔·帕克 Short Presburger算法很难实现。 （英语） Zbl 07516620号 SIAM J.计算。 51，2号，STOC17-STOC17-30（2022）。MSC公司：2017年第68季度 65年第68季度 2015年3月1日 90立方厘米 03年10月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Nguyen}和\textit{I.Pak}，SIAM J.计算机。51，2号，STOC17--1-STOC17-30（2022；Zbl 07516620） 全文： 内政部 arXiv公司
冯、袁;李三江;英明生 分布式量子程序的验证。 （英语） 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公司
邓玉欣;冯、袁 经典量子语言的形式语义。 （英语） 兹比尔1483.68076 西奥。计算。科学。 913, 73-93 (2022)。MSC公司：68号30 03B70号 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Feng}，Theor。计算。科学。913、73-93（2022年；Zbl 1483.68076） 全文： 内政部 arXiv公司
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上的模型检查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） 全文： 内政部
斯利曼尼，阿尤布;阿科尔·本斯拉马;尼拉杰·库马尔·米斯拉 使用新型量子门的可逆/量子解码电路的优化设计。 （英语） Zbl 1487.81051号 国际J.Theor。物理学。 61，第3号，第72号文件，第19页（2022）。MSC公司：81页68 94C11号机组 81页第45页 68个月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Slimani}等人，国际期刊Theor。物理。61，第3号，第72号论文，第19页（2022年；Zbl 1487.81051） 全文： 内政部
陈耿;王玉奇;Jian、Liya;周毅;刘世明 基于Hadamard门的三值量子密钥分发协议。 （英语） Zbl 1486.81074号 国际J.Theor。物理学。 61，第2号，第26号论文，第13页（2022年）。MSC公司：81页94 94A60型 81页第10页 68第25页 81页68 81页70 05B20号 15B34型 81页第55页 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{G.Chen}等人，国际期刊Theor。物理。61，第2号，第26号论文，第13页（2022年；Zbl 1486.81074） 全文： 内政部
M.古拉尼。 基于量子逻辑的树自动机特征。 （英语） Zbl 1524.68171号 国际J.Theor。物理学。 61，第2号，第13号文件，第24页（2022）。MSC公司：65年第68季度 03G12号机组 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghorani}，国际期刊Theor。物理。61，第2号，第13号论文，24页（2022年；Zbl 1524.68171） 全文： 内政部
赫萨默丁·阿赫拉格普尔 基于RNA的自然通用计算理论。 （英语） Zbl 1483.92063号 J.西奥。生物。 537，文章ID 110984，19 p.（2022）; 勘误表同上，第566条，第111481条，第1页（2023年）。MSC公司：92C40型 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Akhlaghpour}，J.Theor。生物学537，文章ID 110984，19 p.（2022；Zbl 1483.92063） 全文： 内政部 arXiv公司
诺亚·弗莱明;托尼安·皮塔西 关于证明复杂性和计数原则的思考。 （英语） Zbl 07469221号 Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 497-520 (2022).MSC公司：03Bxx号 03Gxx公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Fleming}和\textit{T.Pitassi}，Outst。控制日志。22497--520（2022；Zbl 07469221） 全文： 内政部
卡尔·斯沃齐尔 量子逻辑分析中的广义Greenberger-Horne-Zeilinger参数。 （英语） Zbl 1499.81033号 已找到。物理学。 52，第1号，第4号论文，23页（2022年）。MSC公司：81页68 81页第10页 第81页，共15页 03G12号机组 06第15页 第81页，共13页 PDF格式BibTeX公司 XML格式引用 \textit{K.Svozil}，已找到。物理。52，第1号，第4号论文，23页（2022年；Zbl 1499.81033） 全文： 内政部 arXiv公司 OA许可证
安吉洛·蒙塔纳里;皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 （英语） 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） 全文： 内政部
英明生;周，李;李杨佳;冯、袁 不相交并行量子程序的证明系统。 （英语） 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） 全文： 内政部
丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;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公司
唐建刚 探索P与NP。 arXiv:2209.15410 预印本，arXiv:2209.15410[cs.CC]（2022）。MSC公司：2015年3月1日 2015年第68季度 03C13号机组 03年10月 03B05号 BibTeX公司 引用 \textit{J.-G.Tang}，“探索P与NP的关系”，预印本，arXiv:2209.15410[cs.CC]（2022） 全文： arXiv公司 OA许可证
菲利普斯·帕帕扬诺普洛斯 现实计算的不切实际的模型：理想化如何帮助表示数学结构和发现科学计算。 （英语） Zbl 1529.03073号 合成 199，编号1-2，249-283（2021）。MSC公司：03A05号 00A71号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{P.Papayannopoulos}，合成199，编号1--2，249--283（2021；Zbl 1529.03073） 全文： 内政部 链接
尼日尔壁画 计算的长臂功能个性化。 （英语） Zbl 1528.03081号 合成 199，编号5-6，13993-14016（2021）。MSC公司：03年10月 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{N.Fresco}，Synthese综合199，编号5--6，13993-14016（2021；Zbl 1528.03081） 全文： 内政部 OA许可证
de Ronde，C。;弗雷特斯，H。;塞尔吉奥利，G。 量子概率：代理人的可靠工具还是现实的可靠来源？ （英语） 兹比尔1525.81006 合成 198，补遗23，S5679-S5699（2021）。MSC公司：81第05页 第81页，共16页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.de Ronde}等人，Synthese 198，S5679--S5699（2021；Zbl 1525.81006） 全文： 内政部 arXiv公司 链接
约翰内斯·林德;陈远月;大卫·王;格奥尔格·西利格;路易斯·塞兹;卡琳·施特劳斯 二值化神经网络的稳健数字分子设计。 （英语） Zbl 07741392号 Lakin，Matthew R.（编辑）等人，第27届DNA计算和分子编程国际会议。DNA 27，英国牛津（虚拟会议），2021年9月13日至16日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。205，第1条，第20页（2021年）。MSC公司：2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Linder}等人，LIPIcs——莱布尼茨国际程序。通知。205，第1条，20 p.（2021；Zbl 07741392） 全文： 内政部
霞多丽、科斯蒂亚;贝诺·瓦利昂;雷诺德·维尔马特 ZX图的交互几何。 （英语） Zbl 07724203号 Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第30条，第16页（2021）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛K.Chardonnet｝等人，LIPIcs——莱布尼茨国际期刊。通知。202，第30条，第16页（2021；Zbl 07724203） 全文： 内政部 arXiv公司
英明生 量子电路验证的模型检查。 （英语） Zbl 1521.68079号 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 23-39 (2021).MSC公司：60年第68季度 03G12号机组 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}，莱克特。注释计算。科学。13047，23-39（2021；Zbl 1521.68079） 全文： 内政部 arXiv公司
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基;罗伯塔·戈里;弗朗西丝卡·列维;保罗·米拉佐 利用SOS语义的模块性定义反应系统的定量扩展。 （英语） Zbl 1521.68055号 Aranha，Claus（编辑）等人，《自然计算的理论与实践》。第十届国际会议，TPNC 2021，日本筑波，2021年12月7日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13082, 15-32 (2021).MSC公司：2007年第68季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Lect。注释计算。科学。13082，15--32（2021；Zbl 1521.68055） 全文： 内政部
穆罕默德·阿利·阿萨迪;穆罕默德·莫斯利;马吉德·哈格帕拉斯特 设计量子可逆三元乘法器。 （英语） Zbl 1509.81239号 量子信息处理。 20，第7号，第226号论文，第27页（2021年）。MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.-A.Asadi}等人，《量子信息处理》。20，第7号，第226号论文，第27页（2021年；Zbl 1509.81239） 全文： 内政部
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公司 OA许可证
阿努吉·达瓦尔;格雷戈里·威尔塞纳赫 秩逻辑的对称电路。 （英语） Zbl 1508.68101号 ACM事务处理。计算。日志。 23，第1条，第6条，第35页（2021年）。MSC公司：2006年第68季度 03B70号 19年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}和\textit{G.Wilsenach}，ACM Trans。计算。日志。23，第1号，第6条，第35页（2021；兹bl 1508.68101） 全文： 内政部
卡拉·席尔瓦;安娜·阿奎尔;Priscila M.V.利马。;杜特拉，因斯 将TSP的逻辑表示映射到量子退火。 （英语） Zbl 1508.81535号 量子信息处理。 20，第12号，第386号论文，21页（2021年）。MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit｛C.Silva｝等人，量子信息过程。20，第12号，第386号论文，21页（2021；Zbl 1508.81535） 全文： 内政部
刘武牛;何青;李永明 有限内存调度下对可能决策过程的计算树逻辑模型检查。 （英语） Zbl 1511.68162号 蔡志平（主编）等，《理论计算机科学》。2021年7月23日至25日，中国银川，NCTCS 2021第39届全国会议。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1494, 75-88 (2021).MSC公司：60年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人，Commun。计算。信息科学。1494，75-88（2021；Zbl 1511.68162） 全文： 内政部
玛丽·何塞·杜兰·里查德 英国算法实践的符号基础（1801-1860）。（Fondements symboliques des pratiques algorithmiques en Angleterre（1801-1860）。） （法语） Zbl 1494.03003号 Haffner，Emmylou（编辑）等人，L’épistémologie du dedans。Hourya Benis-Sinaceur先生。巴黎：古典的加尼尔。Rencontres伦康特斯479301-339（2021）。MSC公司：03-03 68-03 01A55号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.-J.杜兰·里查德}，Rencontres 479，301-339（2021；Zbl 1494.03003）
秦明龙;姚鹏辉 具有噪声最大纠缠态的非局部博弈是可判定的。 （英语） Zbl 1513.81009号 SIAM J.计算。 50，第6号，1800-1891（2021）。MSC公司：81页40页 2012年第68季度 81页68 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.Qin}和\textit{P.Yao}，SIAM J.Compute。50，第6号，1800--1891（2021；Zbl 1513.81009） 全文： 内政部 arXiv公司
托尔·哈格兰;Ågotnes，托马斯 俄罗斯纸牌交叉问题。 （英语） Zbl 1521.68060号 Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13039, 102-110 (2021).MSC公司：2010年第68季度 03B42号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hagland}和\textit{T.奥戈特内斯}，莱克特。注释计算。科学。13039、102-110（2021；Zbl 1521.68060） 全文： 内政部 链接
米查尔·科内奇;塞翁公园;霍尔格·蒂斯 公理实数和经证明有效的精确实数计算。 （英语） 兹伯利07547745 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 252-268 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Koneční}等人，Lect。注释计算。科学。13038、252--268（2021；Zbl 07547745） 全文： 内政部 链接
德克兰·汤普森 可计算的执行跟踪。 （英语） Zbl 07547744号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 235-251 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Thompson}，莱克特。注释计算。科学。13038、235--251（2021；Zbl 07547744） 全文： 内政部
Timon Barlag;赫里贝特·沃尔默 实域上恒深电路的逻辑特征。 （英语） Zbl 07547731号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 16-30 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Barlag}和\textit{H.Vollmer}，莱克特。注释计算。科学。13038，16-30（2021；Zbl 07547731） 全文： 内政部 arXiv公司