维克托·塞利瓦诺夫 \（\mathsf{qc}\mathsf的描述性复杂性{b} _0（0）\)-空格。 （英语） Zbl 07648670号 西奥。计算。科学。 945，文章ID 113666，43 p.（2023）.MSC公司：03E15年 PDF格式BibTeX公司 XML格式引用 \textit{V.Selivanov}，Theor（西奥）。计算。科学。945，文章ID 113666，43 p.（2023；Zbl 07648670） 全文： 内政部
亨克·巴伦德雷格特;塞巴斯蒂安·特维恩。 部分组合代数和广义数。 （英语） Zbl 07547826号 西奥。计算。科学。 925, 37-44 (2022).MSC公司：03D45号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}和\textit{S.A.Terwijn}，Theor。计算。科学。925，37-44（2022；Zbl 07547826） 全文： 内政部 arXiv公司 OA许可证
尼古拉·巴热诺夫;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;Ng，Keng Meng女士 有限生成结构的在线演示。 （英语） Zbl 1464.68443号 西奥。计算。科学。 844, 195-216 (2020).MSC公司：68周27 03D20日 2008年3月28日 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人，Theor。计算。科学。844195-216（2020年；Zbl 1464.68443） 全文： 内政部
马提亚斯·巴兹;Lolic，阿内拉 由命题插值导出的一阶插值。 （英语） Zbl 1460.03006号 西奥。计算。科学。 837, 209-222 (2020). 审核人：丹尼尔·蒙迪奇（费伦泽） MSC公司：03B50号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Baaz｝和\textit｛A.Lolic｝，Theor。计算。科学。837、209--222（2020；Zbl 1460.03006） 全文： 内政部 arXiv公司
卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 一类递归置换，它是原始递归完成的。 （英语） Zbl 1481.03031号 西奥。计算。科学。 813, 218-233 (2020).MSC公司：03D20日 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人，Theor。计算。科学。813、218--233（2020年；Zbl 1481.03031） 全文： 内政部 链接
伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;Ng，Keng Meng女士 代数结构可立即计算。 （英语） 兹比尔1418.03151 西奥。计算。科学。 674, 73-98 (2017).MSC公司：03D45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Kalimullin}等人，Theor。计算。科学。674、73-98（2017；Zbl 1418.03151） 全文： 内政部
亚历克斯·加夫柳什金;巴哈迪尔·库萨诺夫;弗兰克·斯蒂芬 递归可枚举结构引起的等价关系之间的约简。 （英语） Zbl 1338.03077号 西奥。计算。科学。 612, 137-152 (2016). 审核人：约瑟夫·乌利安（圣巴巴拉） MSC公司：03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Gavryushkin}等人，Theor。计算。科学。612，137-152（2016年；兹bl 1338.03077） 全文： 内政部
克劳斯Ambos-Spies;斯里克赞·巴达耶夫;谢尔盖·贡查罗夫 归纳推理和可计算的数字。 （英语） Zbl 1221.03035号 西奥。计算。科学。 412，第18期，1652-1668（2011）.MSC公司：03D25号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.Ambos-Spies}等人，Theor。计算。科学。412，编号181652-1668（2011年；兹bl 1221.03035） 全文： 内政部
弗拉基米尔·里巴科夫 传递时态逻辑中允许的规则{T}（T）_{\mathrm（马特姆）{S} 4个}\)，充分条件。 （英语） Zbl 1209.03011号 西奥。计算。科学。 411，第50号，4323-4332（2010）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Rybakov}，Theor。计算。科学。411，编号50，4323--4332（2010年；兹bl 1209.03011） 全文： 内政部
维克托·塞利瓦诺夫。 理论计算机科学中的精细层次和m-可约性。 （英语） Zbl 1165.03023号 西奥。计算。科学。 405，编号1-2，116-163（2008）. 审核人：Albert A.Mullin（麦迪逊） MSC公司：03D55号 05年3月 2015年3月1日 03D20日 03日30分 03E15年 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}，Theor。计算。科学。405，编号1--2，116-163（2008；Zbl 1165.03023） 全文： 内政部
维克托·塞利瓦诺夫。 面向类domain结构的描述性集合理论。 （英语） Zbl 1108.03050号 西奥。计算。科学。 365，第3期，258-282（2006）. 审核人：米罗斯拉夫·雷皮克（科希策） MSC公司：03E15年 05年5月54日 06B35号 03D45号 第68季度85 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}，Theor。计算。科学。365，第3号，258--282（2006；Zbl 1108.03050） 全文： 内政部
G.哈姆林。;斯托尔滕贝格·汉森，V。 两类有效连续cpo。 （英语） Zbl 1110.03029号 西奥。计算。科学。 365，第3期，216-236（2006）.MSC公司：03D45号 06B35号 18日第15天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Hamrin}和\textit{V.Stoltenberg-Hansen}，Theor。计算。科学。365，第3号，216--236（2006；Zbl 1110.03029） 全文： 内政部
维罗尼卡·贝彻;谢尔盖·格里戈里夫 （2^{leq\omega}\）上的递归和拓扑，用于可能的无限计算。 （英语） Zbl 1061.03075号 西奥。计算。科学。 322，第1期，85-136（2004）. 审核人：Jerzy Mycka（卢布林） MSC公司：03层60 03日第10天 03D55号 2005年第68季度 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}和\textit{S.Grigorief}，Theor。计算。科学。322，编号1，85--136（2004；Zbl 1061.03075） 全文： 内政部
斯普林，D。 表示与计数：关于两个可计算性概念的关系。 （英语） Zbl 0992.68056号 西奥。计算。科学。 262，第1-2号，473-499（2001）.MSC公司：2005年第68季度 03D45号 PDF格式BibTeX公司 XML格式引用 \提奥，textit{D.斯普林}。计算。科学。262，编号1--2，473--499（2001；Zbl 0992.68056） 全文： 内政部
安德烈·沃伦科夫 同时刚性E-统一和其他与Herbrand定理相关的决策问题。 （英语） Zbl 0937.03020号 西奥。计算。科学。 224，编号1-2，319-352（1999）.MSC公司：03B35型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}，Theor（西奥）。计算。科学。224，编号1-2319-352（1999年；Zbl 0937.03020） 全文： 内政部
斯特凡·德姆里 一类可判定信息逻辑。 （英语） Zbl 0902.68062号 西奥。计算。科学。 195，第1期，33-60（1998）.MSC公司：68页99 03B45 PDF格式BibTeX公司 XML格式引用 \文本{S.Demri}，Theor。计算。科学。195，编号1，33--60（1998；Zbl 0902.68062） 全文： 内政部
沃尔克·魏斯芬宁 交换l-群的单词问题的复杂性。 （英语） Zbl 0633.03036号 理论。计算。科学。 48, 127-132 (1986). 审核人：A.M.W.玻璃 MSC公司：2015年3月1日 20层06 03C60型 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{V.魏斯芬宁}，Theor。计算。科学。48、127--132（1986年；Zbl 0633.03036） 全文： 内政部
G·隆戈。;马提尼，S。 更高类型的可计算性，P\（\omega\）和类型赋值的完整性。 （英语） Zbl 0625.03027号 西奥。计算。科学。 46, 197-217 (1986).MSC公司：03D65年 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo}和\textit{S.Martini}，Theor。计算。科学。46、197--217（1986年；Zbl 0625.03027） 全文： 内政部
布鲁斯，金;朱塞佩·隆戈 关于组合代数及其展开式。 （英语） Zbl 0555.03006号 西奥。计算。科学。 31, 31-40 (1984). 审核人：J.兹拉图斯卡 MSC公司：03B40型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bruce}和\textit{G.Longo}，Theor。计算。科学。31，31-40（1984年；兹bl 0555.03006） 全文： 内政部