Dimitar P.Guelev。;Moszkowski，本 具有扩展形式的离散时间间隔时序逻辑的分离表示完备性。 （英语） Zbl 07861405号 信息处理。莱特。 186，文章ID 106480，第7页（2024）.MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski}，Inf.过程。莱特。186，文章ID 106480，7 p.（2024；Zbl 07861405） 全文： DOI程序
伊万·拉内斯;菲利普斯，伊恩;伊雷克·乌利多夫斯基 可逆计算的公理理论。 （英语） 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） 全文： DOI程序 arXiv公司
埃蒂安·格兰德让;塞奥·格伦特;Véronique梗 逻辑与实时细胞自动机程序中的归纳定义。 （英语） Zbl 07811868号 西奥。计算。科学。 987，文章ID 114355，59 p.（2024）.MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃·格兰德让}等人，Theor。计算。科学。987，文章ID 114355，59 p.（2024；Zbl 07811868） 全文： DOI程序 链接
里巴科夫，V.V。 S4.2相关模态逻辑的可接受性和统一性。 （英语。俄文原件） Zbl 07804700号 同胞。数学。J。 65，编号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） 全文： DOI程序
格德·尼斯特格 广义量子比特模型中的非对称跃迁概率。 （英语） Zbl 07803525号 已找到。物理学。 54，第1号，第9号论文，20页（2024年）.MSC公司：81页68 81页第10页 03G12号机组 81页65 10层32层 17A45型 53C27号 PDF格式BibTeX公司 XML格式引用 \textit{G.Niestegge}，已找到。物理学。54，第1号，第9号论文，20页（2024；Zbl 07803525） 全文： DOI程序 arXiv公司
斯瓦提·穆马迪;巴瓦纳·鲁德拉 基于纠缠的非对称量子纠错的量子成本优化算法。 （英语） Zbl 07798684号 国际J.Theor。物理学。 62，第11号，第236号论文，第15页（2023年）.MSC公司：81页73 2012年第68季度 81页第42页 03A10号 81页65 91B32型 82B35型 82B10型 46N10号 81页40页 PDF格式BibTeX公司 XML格式引用 \textit{S.Mummadi}和\textit{B.Rudra}，国际期刊Theor。物理学。62，第11号，第236号论文，第15页（2023年；Zbl 07798684） 全文： DOI程序
弗拉基米尔·列奥尼多维奇（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） 全文： DOI程序
卡洛斯·巴蒂斯塔。;蒂亚戈·M·L·德维拉斯。;莱昂·达席尔瓦。;阿登尼尔顿·J·达席尔瓦。 关于“德约萨和西蒙算法的高效经典模拟”的评论。 （英语） Zbl 07789849号 量子信息处理。 22，第11号，第399号论文，第9页（2023年）.MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Batista}等人，《量子信息处理》。22，第11号，第399号论文，第9页（2023年；Zbl 07789849） 全文： DOI程序
卡勒布·卡姆鲁德 连续逻辑的广义有效完备性。 （英语） Zbl 07770954号 J.日志。分析。 15，第4号论文，第17页（2023年）.MSC公司：03C57号 03D78号 03B52号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}，J.Log。分析。15，第4号论文，17页（2023；Zbl 07770954） 全文： DOI程序 arXiv公司 OA许可证
拉贾伊，阿雷佐;马布贝·胡什曼德;塞耶德·阿贝德·侯赛尼 量子电路多目标逻辑综合的动态规划方法。 （英语） 兹伯利07763939 量子信息处理。 22，第10号，第384号论文，23页（2023年）.MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajaei}等人，《量子信息处理》。22，第10号，第384号论文，23页（2023年；Zbl 07763939） 全文： DOI程序
马修·苏季克（Matthew P.Szudzik）。 可计算物理模型的语义。 （英语） Zbl 07755334号 螺柱日志。 111，第5号，779-819（2023）.MSC公司：03A10号 03C98号 03C57号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Szudzik}，研究日志。111，编号5，779--819（2023；Zbl 07755334） 全文： DOI程序 arXiv公司 OA许可证
苏托尔敏，I.A。;北卡罗来纳州科洛梅特。 关于按位异或组合的加性微分概率。 （英语） Zbl 1532.81022号 普里克尔。磁盘重新启动。材料。 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。磁盘重新启动。材料2023，编号60，59-75（2023；Zbl 1532.81022） 全文： DOI程序 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） 全文： DOI程序 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） 全文： DOI程序 arXiv公司
科彻金。;米哈伊洛维奇。 （k）值逻辑函数非单调复杂度估计的改进。 （英语。俄文原件） Zbl 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） 全文： DOI程序
内森·萨尔蒙 有效程序的决策问题。 （英语） Zbl 07710085号 日志。Univers大学。 第2期第17页，第161-174页（2023年）. 审核人：马蒂奥·比安切蒂（圣母院） MSC公司：03A05号 03日第10天 03天35分 03D40号 03天80 第68季度01 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.SalmóN}，日志。Univers大学。17，编号2，161--174（2023；Zbl 07710085） 全文： DOI程序 OA许可证
摩西·加纳迪;马库斯·洛伊;格奥尔格·泽茨彻 可解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，编号3，617--639（2023；Zbl 1516.20066） 全文： DOI程序
赛义德·曼苏尔·沙希迪;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） 全文： DOI程序
吉列尔莫·巴迪亚;泽维尔·凯塞多;卡莱斯·诺格拉 有限值模态逻辑中的框架可定义性。 （英语） 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） 全文： DOI程序 arXiv公司 OA许可证
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 自然演绎中的一个新的连接词，及其在量子计算中的应用。 （英语） Zbl 1529.81040号 西奥。计算。科学。 957，文章ID 113840，27 p.（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） 全文： DOI程序 哈尔
卢卡·米凯克 可解释性逻辑的复杂性伊利诺伊州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） 全文： DOI程序
科普，尼尔斯;赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻分析。 （英语） 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） 全文： DOI程序
阿斯玛·塔赫里;瓦伦蒂娜·齐里亚尼;Lauri Kettunen;马吉德·哈格帕拉斯特 用于多路复用器、解多路复用器和解码器的新型量子化电路设计。 （英语） Zbl 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） 全文： DOI程序 OA许可证
Jetze Zoethout 部分组合代数上的三阶泛函。 （英语） Zbl 1502.18008号 Ann.纯粹应用。逻辑 174，第2号，文章ID 103205，36页（2023）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18年2月25日 2009年第68季度 03B40型 03G30型 第三天65 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zoethout}，Ann.《纯粹的应用》。逻辑174，第2号，文章ID 103205，36页（2023；Zbl 1502.18008） 全文： DOI程序 arXiv公司 OA许可证
冯仁彦;埃曼·阿克;王一松;刘万伟;斯特凡·施洛巴赫;丁伟平 计算CTL中的充分必要条件：一种遗忘方法。 （英语） Zbl 07830635号 信息科学。 616, 474-504 (2022).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Feng}等人，《信息科学》。616474-504（2022年；兹bl 07830635） 全文： DOI程序
A.Chouikh。;赛义德，T。;M.哈马尼。;M.本奈。 基于六能级原子系统的量子Toffoli门的实现。 （英语） Zbl 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） 全文： DOI程序
李孟;李景阳;郭富强;朱晓宇;梁二军;张，寿;严磊磊;冯、芒;苏世雷 多量子比特\（\mathrm{C} k（_k）\通过优化几何量子操作实现里德堡原子的mathrm{U}^m\）逻辑门。 （英语） Zbl 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） 全文： DOI程序
米哈伊尔·沃尔科夫五世。 有限自动机的同步。 （英语。俄文原件） Zbl 07733482号 俄罗斯数学。Surv公司。 77，第5号，819-891（2022）; 来自Usp的翻译。Mat.Nauk 77，第5期，第53-130页（2022年）。MSC公司：2015年3月1日 2010年1月20日 20毫米35 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） 全文： DOI程序 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年）的译文 全文： DOI程序
劳伦特·巴托尔迪;萨洛，维尔 模拟和点灯器组。 （英语） 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） 全文： DOI程序 arXiv公司
杰西卡·巴瓦雷斯科;缪劳;马可·图里奥·昆蒂诺 超越群体结构的单一渠道歧视：顺序和不确定因果顺序策略的优势。 （英语） 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） 全文： DOI程序 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页 94天10分 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Matrosova}等人，《俄罗斯物理学》。J.65，No.4，751--760（2022；Zbl 1520.81039）；Izv的翻译。维什。乌切布。扎韦德。，菲兹。65，第4号，150--159（2022） 全文： DOI程序
伊夫根尼·卡根;亚历山大·里巴洛夫;罗纳德·雅格 原因乘积的确定性之和：带模糊聚合器的神经网络。 （英语） 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） 全文： DOI程序
李金芳;辛、子轩;胡洁茹;何东山 基于自旋-（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） 全文： DOI程序
穆罕默德·伊利亚斯;肖恩·崔;马雷克·佩考夫斯基 拓扑量子计算中的三元逻辑设计。 （英语） Zbl 1507.81072号 《物理学杂志》。A、 数学。西奥。 55，第30号，文章ID 305302，54 p.（2022）.MSC公司：81页68 81页65 2012年第68季度 81V27型 PDF格式BibTeX公司 XML格式引用 \textit{M.伊利亚斯}等人，J.Phys。A、 数学。西奥。55，第30号，文章ID 305302，54 p.（2022；Zbl 1507.81072） 全文： DOI程序 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；兹bl 07624287） 全文： DOI程序 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｝等人，Groups Geom。动态。16，编号2，493--522（2022；Zbl 1512.20080） 全文： DOI程序 arXiv公司
弗朗齐斯科斯·威斯内特;科普，尼尔斯 二进制有符号数字表示中实数的极限。 （英语） 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） 全文： DOI程序 arXiv公司 OA许可证
托马斯·艾特;尼尔森·希格拉;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） 全文： DOI程序 arXiv公司
埃戈尔·弗拉基米洛维奇·库兹敏 有界计数器的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}，模型。分析。内部Sist。29，第1号，44-59（2022；Zbl 1497.68313） 全文： DOI程序 MNR公司 OA许可证
Miika Hannula公司;乔尼·维特玛 概率团队语义和实域上存在二阶逻辑中的可追踪边界。 （英语） Zbl 07587328号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103108，30 p.（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） 全文： DOI程序 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） 全文： DOI程序 arXiv公司 OA许可证
新墨西哥州科加巴耶夫。 等效于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年）的译文 全文： DOI程序
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） 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） 全文： DOI程序 链接
Danny Nguyen;伊戈尔·帕克 Short Presburger算法很难实现。 （英语） Zbl 07516620号 SIAM J.计算。 51，2号，STOC17-STOC17-30（2022）.MSC公司：2017年第68季度 65年第68季度 2015年3月1日 90立方厘米 03B10号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Nguyen}和\textit{I.Pak}，SIAM J.计算机。51，2号，STOC17--1-STOC17-30（2022；Zbl 07516620） 全文： DOI程序 arXiv公司
冯、袁;李三江;英明生 分布式量子程序的验证。 （英语） 兹比尔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） 全文： DOI程序 arXiv公司
邓玉欣;冯、袁 经典量子语言的形式语义。 （英语） Zbl 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） 全文： DOI程序 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） 全文： DOI程序
阿尤布·斯利马尼;阿科尔·本斯拉马;尼拉杰·库马尔·米斯拉 使用新型量子门的可逆/量子解码电路的优化设计。 （英语） 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） 全文： DOI程序
陈耿;王玉奇;简，丽雅;周毅;刘世明 基于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年5月 PDF格式BibTeX公司 XML格式引用 \textit{G.Chen}等人，国际期刊Theor。物理学。61，第2号，第26号论文，第13页（2022年；Zbl 1486.81074） 全文： DOI程序
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） 全文： DOI程序
赫萨默丁·阿赫拉格普尔 基于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） 全文： DOI程序 arXiv公司
卡尔·斯沃齐尔 量子逻辑分析中的广义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） 全文： DOI程序 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） 全文： DOI程序
英明生;周，李;李，杨佳;冯、袁 不相交并行量子程序的证明系统。 （英语） 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） 全文： DOI程序
丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 （英语） 兹比尔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） 全文： DOI程序 arXiv公司
菲利普斯·帕帕扬诺普洛斯 现实计算的非现实模型：理想化如何帮助表示数学结构和发现科学计算。 （英语） 兹比尔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） 全文： DOI程序 链接
尼日尔壁画 计算的长臂功能个性化。 （英语） Zbl 1528.03081号 合成 199，编号5-6，13993-14016（2021）.MSC公司：03A10号 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{N.Fresco}，Synthese综合199，编号5--6，13993-14016（2021；Zbl 1528.03081） 全文： DOI程序 OA许可证
de Ronde，C。;弗雷特斯，H。;塞尔吉奥利，G。 量子概率：代理人的可靠工具还是现实的可靠来源？ （英语） Zbl 1525.81006号 合成 198，补遗23，S5679-S5699（2021）.MSC公司：81第05页 第81页，共16页 81页68 PDF格式BibTeX公司 XML格式引用 \textit｛C.de Ronde｝等人，合成198，S5679-S5699（2021；Zbl 1525.81006） 全文： DOI程序 arXiv公司 链接
穆罕默德·阿利·阿萨迪;穆罕默德·莫斯利;马吉德·哈格帕拉斯特 设计量子可逆三元乘法器。 （英语） 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） 全文： DOI程序
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） 全文： DOI程序 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翻译。计算。日志。23，第1号，第6条，第35页（2021年；Zbl 1508.68101） 全文： DOI程序
卡拉·席尔瓦;安娜·阿奎尔;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） 全文： DOI程序
秦明龙;姚鹏辉 具有噪声最大纠缠态的非局部博弈是可判定的。 （英语） 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） 全文： DOI程序 arXiv公司
马库斯拿铁 重新审视分支时间逻辑和公平。 （英语） Zbl 1498.68163号 数学。结构。计算。科学。 31，第9期，1135-1144（2021）. 审核人：贾科莫·伦齐（费西亚诺） MSC公司：60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Latte｝，数学。结构。计算。科学。31，编号9，1135--1144（2021；Zbl 1498.68163） 全文： DOI程序
弗拉基米尔·里巴科夫。 布尔逻辑中的可满足性（SAT问题）是多项式的。 （英语） Zbl 1507.03092号 J.西布。联邦大学数学系。物理学。 第5号第14页，第667-671页（2021）. 审核人：阿恩·迈尔（汉诺威） MSC公司：2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.Sib。联邦大学数学系。物理学。14，第5号，667--671（2021；Zbl 1507.03092） 全文： DOI程序 MNR公司
盛田贤一 在可逆保守的初等三角元胞自动机中构造可逆图灵机。 （英语） Zbl 1517.68113号 J.汽车。语言梳。 26，编号1-2，125-144（2021）.MSC公司：04年第68季度 2010年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit｛K.Morita｝，J.奥托姆。语言梳。26，编号1--2，125-144（2021；Zbl 1517.68113） 全文： 链接
卡洛斯·阿雷塞斯;汉斯·范·迪特马什;劳尔·费尔瓦里;巴斯蒂安·莫伯特;弗朗索瓦州施瓦岑特鲁伯 作为动态操作符进行复制和删除。 （英语） Zbl 1515.03086号 J.应用。非类别。日志。 31，编号3-4，181-220（2021）.MSC公司：03B45号 03B42号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人，J.Appl。非类别。日志。31，编号3--4，181-220（2021；Zbl 1515.03086） 全文： DOI程序 链接
马丁·洛夫（Martin-Löf，Per） 构造语义中的意义/指称区别。 （英语） Zbl 1529.03066号 牛市。符号。日志。 27，第4号，501-513（2021）.MSC公司：03A05号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{P.Martin-Löf}，公牛。符号。日志。27，第4号，501--513（2021；Zbl 1529.03066） 全文： DOI程序 OA许可证
弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;阿加提·埃尔鲁 关于高阶概率次递归。 （英语） Zbl 1486.68039号 日志。方法计算。科学。 17，第4号，第25号论文，35页（2021年）.MSC公司：68号30 03B40型 68甲19 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart}等人，日志。方法计算。科学。17，第4号，第25号论文，第35页（2021年；Zbl 1486.68039） 全文： arXiv公司 链接
丹尼尔·奥利维拉;乔安·拉斯加 重新审视分离：算法和复杂性。 （英语） Zbl 1494.03044号 日志。J.IGPL公司 29，第3期，251-302（2021）.MSC公司：03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.Oliveira}和\textit{J.Rasga}，Log。J.IGPL 29，第3号，251--302（2021；Zbl 1494.03044） 全文： DOI程序
恰基萨卡马;井上，胜美;大辅佐藤 张量空间中的逻辑编程。 （英语） Zbl 1496.68092号 安。数学。Artif公司。智力。 89，第12期，1133-1153（2021）.MSC公司：68N17号 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama}等人，《数学年鉴》。Artif公司。智力。89，编号12，1133--1153（2021；Zbl 1496.68092） 全文： DOI程序
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃彻 多时间尺度生物网络的算法约简。 （英语） Zbl 1484.13058号 数学。计算。科学。 15，第3期，499-534（2021）. 审核人：哈米德·拉科伊（萨尔布吕肯） MSC公司：13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人，数学。计算。科学。15，编号3，499--534（2021；Zbl 1484.13058） 全文： DOI程序 arXiv公司 OA许可证
安东尼·博尔吉;汉娜·拉奇尼特;何义军 Isabelle/HOL认证量子计算。 （英语） Zbl 07432184号 J.汽车。推理 65，第5号，691-709（2021）.MSC公司：03立方厘米35 03B15号机组 81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bordg}等人，J.Autom。推理65，No.5，691--709（2021；Zbl 07432184） 全文： DOI程序 arXiv公司 OA许可证
梅萨姆·拉什诺;马吉德·哈格帕拉斯特;穆罕默德·莫斯利 保奇偶性可逆吠陀乘法器的设计。 （英语） 兹比尔1522.68199 国际J.Theor。物理学。 60，第8期，3024-3040（2021）.MSC公司：2006年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Rashno}等人，国际期刊Theor。物理学。60，第8号，3024--3040（2021；Zbl 1522.68199） 全文： DOI程序
朱塞佩·塞尔吉利 非相邻量子位上量子电路的矩阵表示。 （英语） Zbl 1523.81047号 国际J.Theor。物理学。 60，编号2，515-533（2021）.MSC公司：81页68 2006年第68季度 81页第10页 81页65 PDF格式BibTeX公司 XML格式引用 \textit{G.Sergioli}，国际期刊Theor。物理学。60，第2号，515--533（2021；Zbl 1523.81047） 全文： DOI程序 arXiv公司
马蒂亚斯·沃林;安娜·达克林特;丹尼尔·托托托雷利 双稳态弹性结构的拓扑优化——逻辑门的应用。 （英语） Zbl 1506.74302号 计算。方法应用。机械。工程师。 383，文章ID 113912，18 p.（2021）.MSC公司：第74页第15页 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wallin}等人，计算。方法应用。机械。工程383，文章ID 113912，18 p.（2021；Zbl 1506.74302） 全文： DOI程序 OA许可证
阿努拉·舒克拉;莫娜·哈雷;普拉蒂巴·潘迪 广义同时测量的Kolmogorov-Sinai型逻辑熵。 （英语） Zbl 07414296号 代表数学。物理学。 88，第1号，21-40（2021）.MSC公司：37A05型 37A35型 54E35个 81页第10页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Shukla}等人，众议员数学。物理学。88，编号1，21--40（2021；Zbl 07414296） 全文： DOI程序
阿盖利基·查尔基;科斯塔斯·库特拉斯。;尤戈斯·齐科斯 关于复杂性的注释第4.2节. （英语） Zbl 1515.03090号 J.应用。非类别。日志。 31，第2号，108-129（2021）.MSC公司：03B45号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chalki}等人，J.Appl。非类别。日志。31，第2号，108--129（2021；Zbl 1515.03090） 全文： DOI程序
甘巴托，甘巴托;Nyamdorj，杜加尔;戈登·西科恩;伊什多尔贾·泽伦·诺特 使用基于HP/LP神经元的SN P系统实现RSA密码算法。 （英语） Zbl 1469.94096号 J.成员。计算。 3，编号1，22-34（2021）.MSC公司：94A60型 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ganbaatar}等人，J.Membr。计算。3，编号1，22-34（2021；Zbl 1469.94096） 全文： DOI程序
罗曼科夫，V.A。 可解群的算法理论。 （英语） Zbl 1496.20060号 普里克尔。磁盘重新启动。材料。 2021年，第52、16-64号（2021）.MSC公司：2016年1月20日 2010年1月20日 20日第10天 20-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Roman'kov}，普里克尔。磁盘重新启动。材料2021，编号52，16--64（2021；Zbl 1496.20060） 全文： DOI程序 MNR公司
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基 反应系统的过程代数方法。 （英语） 兹伯利1517.68115 西奥。计算。科学。 881, 62-82 (2021).MSC公司：2007年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Theor。计算。科学。881，62-82（2021；Zbl 1517.68115） 全文： DOI程序
达斯，比勒斯瓦尔;夏尔马，什夫多特 一些非贝拉群类的近似线性时间同构算法。 （英语） Zbl 1490.20002号 理论计算。系统。 65，第3期，497-514（2021）. 审核人：Dimitros Poulakis（塞萨洛尼基） MSC公司：20-04 2010年1月20日 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Das}和\textit{S.Sharma}，理论计算。系统。65，第3号，497--514（2021；Zbl 1490.20002） 全文： DOI程序
萨尔瓦多卢卡斯 停顿问题的根源。 （英语） Zbl 07377687号 J.日志。阿尔盖布。方法计划。 121，文章ID 100687，9 p.（2021）.MSC公司：03-03 03日第10天 68-03 04年第68季度 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，J.Log。阿尔盖布。方法计划。121，文章ID 100687，9 p.（2021；Zbl 07377687） 全文： DOI程序 OA许可证
米特拉·莫迪;马修·赛多姆;亚历山大·乌沙科夫 第一Grigorchuk群共轭问题的线性时间算法。 （英语） Zbl 07375235号 国际代数计算杂志。 第4期第31期第789-806页（2021年）.MSC公司：2010年1月20日 20E08年 94A60型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Modi}等人，《国际代数计算》。31，第4号，789--806（2021；Zbl 07375235） 全文： DOI程序 arXiv公司
Werner M.塞勒。;塞伊，马提亚斯;托马斯·斯特姆 一种基于逻辑的方法来发现隐式常微分方程的实奇点。 （英语） Zbl 1500.34015号 数学。计算。科学。 第2333-352号第15页（2021）.MSC公司：34A09号 34A26型 34二氧化碳 2005年12月 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Seiler}等人，《数学》。计算。科学。15，第2号，333--352（2021；Zbl 1500.34015） 全文： DOI程序 arXiv公司 OA许可证
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基 反应系统的逻辑和图形框架。 （英语） Zbl 1504.68065号 西奥。计算。科学。 875, 1-27 (2021).MSC公司：2007年第68季度 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Theor。计算。科学。875，1--27（2021；Zbl 1504.68065） 全文： DOI程序
马扬儿;托尼·谭 二元逻辑小模型性质的简单组合证明。 （英语） Zbl 1512.03026号 信息处理。莱特。 170，文章ID 106122，第3页（2021）.MSC公司：03B20型 03B10号机组 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}和\textit{T.Tan}，Inf.过程。莱特。170，文章ID 106122，3 p.（2021；Zbl 1512.03026） 全文： DOI程序 arXiv公司
伊戈尔·里塞诺克;亚历山大·乌沙科夫 自由metabelian群中的可定向二次方程。 （英语） Zbl 07354446号 J.代数 581, 303-326 (2021).MSC公司：2016年1月20日 2010年1月20日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Lysenok}和\textit{A.Ushakov}，J.代数581，303--326（2021；Zbl 07354446） 全文： DOI程序 arXiv公司
赫尔穆特·施维赫滕贝格;弗朗齐斯科斯·威斯内特 精确实数运算的逻辑。 （英语） Zbl 07350773号 日志。方法计算。科学。 17，第2号，第7号论文，27页（2021年）.MSC公司：03D78号 03层60 03B70号 03立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg}和\textit{F.Wiesnet}，日志。方法计算。科学。17，第2号，第7号论文，27页（2021；Zbl 07350773） 全文： arXiv公司 链接
米哈伊尔·里巴科夫;德米特里·什卡托夫 受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质。 （英语） Zbl 1477.03028号 J.日志。计算。 31，第2期，494-522（2021）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：03B20型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，J.Log。计算。第2号第31页，第494-522页（2021年；兹bl 1477.03028） 全文： DOI程序
米哈伊尔·里巴科夫;德米特里·什卡托夫 产品有限变量片段的复杂性K（K）. （英语） Zbl 07332113号 J.日志。计算。 31,2号，426-443（2021）.MSC公司：03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit｛M.Rybakov｝和\textit｛D.Shkatov｝，J.日志。计算。31，编号2，426--443（2021；Zbl 07332113） 全文： DOI程序
约斯特·恩格尔弗里特 一元二阶逻辑的可计算性。 （英语） Zbl 07319586号 信息处理。莱特。 167，文章ID 106074，6 p.（2021）.MSC公司：03D25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}，Inf.过程。莱特。167，文章ID 106074，6 p.（2021；Zbl 07319586） 全文： DOI程序 arXiv公司 OA许可证
德里克·霍尔特;斯蒂芬·林顿;马克斯·纽霍弗;Richard帕克;马库斯·普菲弗;科尔瓦·杜格尔（Colva M.Roney-Dougal）。 多项式时间证明群是双曲线的。 （英语） Zbl 07312489号 J.塞姆。计算。 104, 419-475 (2021).MSC公司：20楼67 2010年1月20日 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛D.Holt｝等人，J.Symb。计算。104、419--475（2021；Zbl 07312489） 全文： DOI程序 arXiv公司
韩、洞阁;保罗·哈伦斯坦;史蒂文·纽金特;乔纳森·菲尔波特;迈克尔·伍尔德里奇 加权布尔博弈中的行为策略。 （英语） Zbl 1501.91030号 Inf.计算。 276，文章ID 104556，第20页（2021）.MSC公司：91A44型 91A11号机组 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{D.Han}等人，《信息计算》。276，文章ID 104556，20 p.（2021；Zbl 1501.91030） 全文： DOI程序 链接
乌尔里希·伯杰;Hideki Tsuiki 直觉主义的定点逻辑。 （英语） Zbl 1498.03065号 Ann.纯粹应用。逻辑 172，第3号，文章ID 102903，57 p.（2021）.MSC公司：03B70号 03B20型 03B40型 03日70 03D78号 03层60 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki}，Ann.Pure Appl。逻辑172，第3号，文章ID 102903，57页（2021；Zbl 1498.03065） 全文： DOI程序 arXiv公司
曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德 \（\omega）-避免高度1恒等式的分类结构。 （英语） Zbl 1472.08006号 事务处理。美国数学。Soc公司。 374，编号1，327-350（2021）. 审核人：基思·卡恩斯（博尔德） MSC公司：08B05号 03C05号机组 08A70号 03C10号机组 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，翻译。美国数学。Soc.374，No.1，327--350（2021；Zbl 1472.08006） 全文： DOI程序 arXiv公司
帕维尔·普德拉克 有界深度Frege系统的正则对。 （英语） Zbl 1498.03152号 Ann.纯粹应用。逻辑 172，第2号，文章ID 102892，42 p.（2021）.MSC公司：20层03 03B05号 03B70号 2015年3月1日 2006年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák}，Ann.《纯粹的应用》。逻辑172，第2号，文章ID 102892，42页（2021；Zbl 1498.03152） 全文： DOI程序 arXiv公司
福斯托·巴贝罗 独立友好逻辑的语法树片段的复杂性。 （英语） Zbl 1498.03064号 Ann.纯粹应用。逻辑 172，第1号，文章ID 102859，43 p.（2021）.MSC公司：03B60号 03C80号 03C85号 2015年3月1日 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbero}，Ann.纯苹果。逻辑172，第1号，文章ID 102859，43页（2021；Zbl 1498.03064） 全文： DOI程序 arXiv公司
伊丽莎白·德·玛丽亚;辛齐亚·迪·朱斯托;拉韦萨，莱蒂蒂亚 建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） Zbl 1530.68086号 自然计算。 19，第1期，135-155（2020年）.MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92秒20 92C20美元 PDF格式BibTeX公司 XML格式引用 \textit｛E.De Maria｝等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086） 全文： DOI程序 arXiv公司 哈尔