彭银河;吴刘珍;于,梁 ({\text{TD}})和({\text{sTD}}\)的一些结果。 (英语) Zbl 07781914号 J.塞姆。日志。 88,第4期,1573-1589(2023).MSC公司:03D28号 03E05号 03E15年 03E25型 03E60年 28A80型 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Peng}等人,J.Symb。日志。88,编号4,1573-1589(2023;Zbl 07781914) 全文: 内政部 arXiv公司
罗德·唐尼;马修·哈里森·特雷诺 最低速度设置。 (英语) Zbl 07620706号 J.塞姆。日志。 87,第4期,1693-1728(2022).MSC公司:03D28号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{M.Harrison-Trainor},J.Symb。日志。87,第4号,1693-1728(2022;Zbl 07620706) 全文: 内政部 arXiv公司
埃尔凡·哈尼基 关于有限域中不完全性猜想的新关系和分离。 (英语) Zbl 07576892号 J.塞姆。日志。 87,编号3,912-937(2022).MSC公司:20层03 2015年3月1日 2015年第68季度 30楼03号 03F40型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Khaniki},J.Symb。日志。87,编号3,912--937(2022;Zbl 07576892) 全文: 内政部 arXiv公司
简·克拉契克 命题证明和算法证明搜索中的信息。 (英语) Zbl 07541925号 J.塞姆。日志。 87,编号2,852-869(2022).MSC公司:20层03 2011年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},J.Symb。日志。87,编号2,852--869(2022;Zbl 07541925) 全文: 内政部 arXiv公司
巴赫库萨诺夫;Toru Takisaka公司 无限字符串及其大规模属性。 (英语) Zbl 07541915号 J.塞姆。日志。 87,编号2,585-625(2022).MSC公司:05年3月 03天32分 65年第68季度 70年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Khousainov}和\textit{T.Takisaka},J.Symb。日志。87,第2号,585--625(2022;Zbl 07541915) 全文: 内政部
克里斯托弗·霍桑 对(F)-自动集理论的贡献。 (英语) Zbl 07506773号 J.塞姆。日志。 87,第1期,127-158(2022).MSC公司:03C45号机组 11比85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.霍桑},J.塞姆。日志。87,编号1,127--158(2022;Zbl 07506773) 全文: 内政部 arXiv公司
亨特·蔡斯;詹姆斯·弗雷塔格 禁止序列的模型理论和组合学。 (英语) Zbl 07506766号 J.塞姆。日志。 87,第1号,1-20(2022).MSC公司:03C45号机组 03立方厘米98 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{H.Chase}和\textit{J.Freitag},J.Symb。日志。87,编号1,1--20(2022;Zbl 07506766) 全文: 内政部 arXiv公司
山崎富代 量子多项式时间可计算性的示意性定义。 (英语) Zbl 1461.81020号 J.塞姆。日志。 85,第4期,1546-1587(2020).MSC公司:81页68 第68季度12 2010年第68季度 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yamakami},J.Symb。日志。85,第4号,1546--1587(2020;Zbl 1461.81020) 全文: 内政部 arXiv公司
德米特里·伊特西克森;亚历山大·诺普;安德烈·罗马什琴科;德米特里·索科洛夫 基于OBDD的动态改变变量顺序的算法和证明系统。 (英语) Zbl 1497.68218号 J.塞姆。日志。 85,第2号,632-670(2020).MSC公司:2011年第68季度 20层03 68兰特 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Itsykson}等人,J.Symb。日志。85,No.2,632--670(2020;Zbl 1497.68218) 全文: 内政部 链接
亚历山大·卡兹达;马特·瓦莱里奥特 确定有限幂等代数中的一些Maltsev条件。 (英语) Zbl 1497.08003号 J.塞姆。日志。 85,第2期,539-562(2020).MSC公司:08B05号 08A40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda}和\textit{M.Valeriote},J.Symb。日志。85,第2号,539--562(2020;Zbl 1497.08003) 全文: 内政部 arXiv公司
鲁伯特·Hölzl;沃尔夫冈·默克尔;约瑟夫·米勒;弗兰克·斯蒂芬;于,梁 Chaitin’s(\Omega)作为连续函数。 (英语) Zbl 1471.03068号 J.塞姆。日志。 85,第1期,486-510(2020年). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03天32分 68问题30 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人,J.Symb。日志。85,第1号,486--510(2020;Zbl 1471.03068) 全文: 内政部
雅克·杜帕克;路易斯·威勒米耶 Scott域上的Wadge阶不是很好的拟阶。 (英语) 兹比尔1477.03186 J.塞姆。日志。 85,第1号,300-324(2020).MSC公司:03E15年 03日30分 05年5月54日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Duparc}和\textit{L.Vuilleumier},J.Symb。日志。85,第1号,300-324(2020;Zbl 1477.03186) 全文: 内政部 arXiv公司
安德烈·涅斯;保罗·沙弗 随机性概念和逆向数学。 (英语) Zbl 1444.03013号 J.塞姆。日志。 85,编号1,271-299(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03天32分 35楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{P.Shafer},J.Symb。日志。85,第1号,271--299(2020;Zbl 1444.03013) 全文: 内政部 arXiv公司 链接
沃尔夫冈·默克尔;于,梁 在序列和其他地方处于低位。 (英语) 兹比尔1443.03023 J.塞姆。日志。 84,第2期,497-516(2019). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03天32分 68问题30 03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{W.Merkle}和\textit{L.Yu},J.Symb。日志。84,第2号,497--516(2019;Zbl 1443.03023) 全文: 内政部
尼古拉·巴热诺夫;马修·哈里森·特雷诺;伊斯坎德卡利穆林;亚历山大·梅尔基诺夫;吴景孟 自动和多项式时间代数结构。 (英语) Zbl 1454.03042号 J.塞姆。日志。 84,第4期,1630-1669(2019). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03C57号 05年3月 03D20日 03D45号 03天80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,J.Symb。日志。84,编号41630-1669(2019;兹bl 1454.03042) 全文: 内政部 链接
鲁伯特·Hölzl;克里斯托弗·波特。 等级和随机性。 (英语) Zbl 1454.03055号 J.塞姆。日志。 84,第4期,1527-1543(2019). 审核人:梁羽(南京) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}和\textit{C.P.Porter},J.Symb。日志。84,第4号,1527--1543(2019;Zbl 1454.03055) 全文: 内政部 arXiv公司
伊恩·普拉特·哈特曼;斯瓦特、维埃索;利迪亚·坦德拉 带凹槽的碎片再次出现。 (英语) Zbl 1468.03005号 J.塞姆。日志。 84,第3期,1020-1048(2019).MSC公司:03B20型 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann}等人,J.Symb。日志。84,第3号,1020--1048(2019;Zbl 1468.03005) 全文: 内政部 arXiv公司 链接
埃里希·格拉德尔;维德州帕库萨 秩逻辑死了,秩逻辑万岁! (英语) Zbl 1425.68134号 J.塞姆。日志。 84,第1号,54-87(2019). 审核人:格雷戈里·洛伦·麦科姆(坦帕) MSC公司:19年第68季度 03C13号机组 15B33型 20对25 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}和\textit{W.Pakusa},J.Symb。日志。84,编号1,54-87(2019;Zbl 1425.68134) 全文: 内政部 链接
奥利维尔·卡尔顿;托马斯·科尔科姆贝特;加布里埃尔,小狗 可数线性序上MSO可定义性的代数方法。 (英语) Zbl 1502.03007号 J.塞姆。日志。 83,编号3,1147-1189(2018).MSC公司:03B70号 03B16号 05年3月 65年第68季度 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}等人,J.Symb。日志。83,第3号,1147--1189(2018;Zbl 1502.03007) 全文: 内政部 arXiv公司
罗德·唐尼;乔纳森·斯蒂芬森 避免有效包装维度1低于数组不可争辩的c.e.度。 (英语) Zbl 1415.03047号 J.塞姆。日志。 83,第2期,717-739(2018). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{J.Stephenson},J.Symb。日志。83,编号2,717--739(2018;Zbl 1415.03047) 全文: 内政部
费德里科·阿西埃里 游戏语义和回溯几何:一种新的交互复杂性分析。 (英语) 兹比尔1401.03100 J.塞姆。日志。 82,No.2,672-708(2017). 审核人:莱因哈德·卡勒(里斯本) MSC公司:20层03 03B70号 05年3月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri},J.Symb。日志。82,第2号,672--708(2017;Zbl 1401.03100) 全文: 内政部 arXiv公司
克里希南德·查特吉;尼尔·皮特曼 义务布莱克威尔游戏和p-自动机。 (英语) Zbl 1432.91019号 J.塞姆。日志。 82,第2期,420-452(2017).MSC公司:91A15型 91A05型 03B44号 03B70号 65年第68季度 2017年第68季度 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{N.Piterman},J.Symb。日志。82,第2号,420-452(2017;Zbl 1432.91019) 全文: 内政部 arXiv公司
西尔维奥·吉拉尔迪;Samuel J.van Gool。 无限字上一元二阶逻辑的模型理论表征。 (英语) Zbl 1432.03047号 J.塞姆。日志。 82,第1期,62-76(2017).MSC公司:03B70号 03B44号 03B16号 03C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{S.J.van Gool},J.Symb。日志。82,第1号,62--76(2017;Zbl 1432.03047) 全文: 内政部 arXiv公司 链接
Kołodziejczyk、Leszek Aleksander 从复杂性理论包含的弱算术模型的端点扩展。 (英语) Zbl 1376.03041号 J.塞姆。日志。 81,第3期,901-916(2016). 审核人:M.Yasuhara(普林斯顿) MSC公司:03C62号 03F99型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。81,第3号,901--916(2016;Zbl 1376.03041) 全文: 内政部 arXiv公司
伊恩·赫伯特 具有(Delta_2^0)有界复杂性和压缩能力的Oreals。 (英语) Zbl 1364.03061号 J.塞姆。日志。 81,第3号,833-855(2016). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{I.Herbert},J.Symb。日志。81,编号33833-855(2016;兹bl 1364.03061) 全文: 内政部 arXiv公司
西尔万·施密茨 隐含关联逻辑是2-ExpTime(ExpTime)-完整。 (英语) Zbl 1370.03029号 J.塞姆。日志。 81,第2期,641-661(2016). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B47号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schmitz},J.Symb。日志。81,第2号,641--661(2016;Zbl 1370.03029) 全文: 内政部 arXiv公司
Chong,C.T。;于,梁 较高设置中的随机性。 (英语) Zbl 1386.03046号 J.塞姆。日志。 80,第4期,1131-1148(2015).MSC公司:03天32分 03日30分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Chong}和\textit{L.Yu},J.Symb。日志。80,第4号,1131--1148(2015;Zbl 1386.03046) 全文: 内政部 链接
阿诺德·贝克曼;Samuel R.巴斯。;Sy-David弗里德曼 安全递归集函数。 (英语) Zbl 1357.03075号 J.塞姆。日志。 80,第3期,730-762(2015). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:第三天65 2015年3月1日 03日第10天 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}等人,J.Symb。日志。80,第3号,730--762(2015;Zbl 1357.03075) 全文: 内政部 链接
阿尔伯特·阿塞里亚斯;莫里茨·米勒;塞尔吉·奥利瓦 相对化弱鸽子洞原理DNF-反驳的下界。 (英语) Zbl 1386.03070号 J.塞姆。日志。 80,第2期,450-476(2015).MSC公司:20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人,J.Symb。日志。80,编号2,450-476(2015;Zbl 1386.03070) 全文: 内政部 链接
凯文·伍兹 普雷斯伯格算法、有理生成函数和拟多项式。 (英语) Zbl 1353.03074号 J.塞姆。日志。 80,编号2433-449(2015).MSC公司:30楼03号 2015年1月5日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Woods},J.Symb。日志。80,No.2,433--449(2015;Zbl 1353.03074) 全文: 内政部 arXiv公司
梅利恩·塞文斯特 广义量词的独立友好前缀的二分法结果。 (英语) Zbl 1353.03016号 J.塞姆。日志。 79,第4期,1224-1246(2014).MSC公司:03B60号 03C80号 2015年3月1日 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sevenster},J.Symb。日志。79,第4号,1224--1246(2014;Zbl 1353.03016) 全文: 内政部
阿基里斯·A·贝罗斯。 算术层次中的学习理论。 (英语) 兹伯利1355.03033 J.塞姆。日志。 79,第3期,908-927(2014).MSC公司:03天80 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Beros},J.Symb(J.塞姆)。日志。79,第3号,908--927(2014;Zbl 1355.03033) 全文: 内政部 arXiv公司
乔治·巴姆帕利亚斯;罗德·唐尼。 图灵度中K平凡序列理想的精确对。 (英语) Zbl 1353.03041号 J.塞姆。日志。 79,第3期,676-692(2014).MSC公司:03D25号 03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}和\textit{R.G.Downey},J.Symb。日志。79,第3号,676--692(2014;Zbl 1353.03041) 全文: 内政部
W.M.Phillip,Hudelson 质量问题和初始段复杂性。 (英语) Zbl 1337.03061号 J.塞姆。日志。 79,第1期,20-44(2014).MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.Hudelson},J.Symb。日志。79,第1号,第20--44号(2014;Zbl 1337.03061) 全文: 内政部
鲍文斯,B。;A.沈。 复杂度和字符串的复杂性,具有最大的普通复杂度和前缀Kolmogorov复杂度。 (英语) Zbl 1338.68126号 J.塞姆。日志。 79,第2号,620-632(2014).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{B.Bauwens}和\textit{A.Shen},J.Symb。日志。79,第2号,620--632(2014;Zbl 1338.68126) 全文: 内政部 arXiv公司
Laurent Bienvenu;罗德·唐尼;诺姆·格林伯格;安德烈·涅斯;丹·特雷茨基 描述Demuth随机性的低特性。 (英语) Zbl 1338.03080号 J.塞姆。日志。 79,第2期,526-560(2014).MSC公司:03天32分 03D25号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}等人,J.Symb。日志。79,No.2,526--560(2014;Zbl 1338.03080) 全文: 内政部
纽约州约翰·富兰克林。;诺姆·格林伯格;弗兰克·斯蒂芬;吴国华 反复数集和可约简性,很少使用。 (英语) Zbl 1307.03025号 J.塞姆。日志。 78,第4期,1307-1327(2013). 审核人:Patrizio Cintioli(喀麦隆) MSC公司:03日30分 03D25号 03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Y.Franklin}等人,J.Symb。日志。78,第4号,1307--1327(2013;Zbl 1307.03025) 全文: 内政部 arXiv公司 欧几里得 链接
伊恩·赫伯特 一组具有有限自我信息的完美现实。 (英语) Zbl 1350.03033号 J.塞姆。日志。 78,第4期,1229-1246(2013).MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{I.Herbert},J.Symb。日志。78,编号4,1229-1246(2013年;兹bl 1350.03033) 全文: 内政部 arXiv公司 欧几里得
阿基里斯·A·贝罗斯。 异常的摇摆不定的学习。 (英语) Zbl 1290.68061号 J.塞姆。日志。 78,第4期,1183-1188(2013).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Beros},J.Symb(J.塞姆)。日志。78,第4号,1183--1188(2013;Zbl 1290.68061) 全文: 内政部 arXiv公司 欧几里得
萨姆·巴斯;米娅·米恩斯 概率算法随机性。 (英语) Zbl 1305.03037号 J.塞姆。日志。 78,第2号,579-601(2013). 审核人:路德维希·斯泰格(哈雷/萨勒) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}和\textit{M.Minnes},J.Symb。日志。78,第2号,579--601(2013;Zbl 1305.03037) 全文: 内政部 欧几里得
伊曼纽尔·基伦斯基;马丁·奥托 具有两个变量的一阶逻辑的小子结构和可判定性问题。 (英语) Zbl 1284.03136号 J.塞姆。日志。 77,第3期,729-765(2012). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03B25号 03C07号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieron ski}和\textit{M.Otto},J.Symb。日志。77,第3号,729--765(2012;Zbl 1284.03136) 全文: 内政部 欧几里得
Ernst-Erich Doberkat 命题动态逻辑的随机解释:表达性。 (英语) Zbl 1252.03074号 J.塞姆。日志。 77,第2期,687-716(2012).MSC公司:03B70号 03E15年 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},J.Symb。日志。77,No.2,687--716(2012;Zbl 1252.03074) 全文: 内政部 欧几里得
克里斯·康尼迪斯。 一个严格为正的有效填充维数的实数,它不计算有效填充维数1的实数。 (英语) Zbl 1251.03047号 J.塞姆。日志。 77,第2期,447-474(2012). 审核人:梁宇(南京) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Conidis},J.Symb。日志。77,第2号,447--474(2012;Zbl 1251.03047) 全文: 内政部 欧几里得
萨姆·巴斯;陈一佳;弗鲁姆,约格;Sy-David弗里德曼;莫里茨·米勒 复杂性理论中的强同构约简。 (英语) 兹比尔1248.03060 J.塞姆。日志。 76,第4期,1381-1402(2011). 审核人:吉列尔莫·莫拉莱斯·卢纳(墨西哥) MSC公司:2015年3月1日 03楼50 03层60 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}等人,J.Symb。日志。76,第4号,1381--1402(2011;Zbl 1248.03060) 全文: 内政部 链接
迪特里赫·库斯克;马库斯·洛伊 重访有界度的自动结构。 (英语) Zbl 1272.03148号 J.塞姆。日志。 76,第4期,1352-1380(2011). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:05年3月 03B25号 03C57号 03D45号 2010年1月20日 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{M.Lohrey},J.Symb。日志。76,第4号,1352--1380(2011;Zbl 1272.03148) 全文: 内政部 链接
斯蒂芬·宾斯 相对Kolmogorov复杂性和几何学。 (英语) Zbl 1247.03084号 J.塞姆。日志。 76,第4期,1211-1239(2011).MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.宾斯},J.塞姆。日志。76,第4号,1211--1239(2011;Zbl 1247.03084) 全文: 内政部
托马斯·吉文·威尔森;杰伊,巴里 内部结构的组合说明。 (英语) Zbl 1248.03025号 J.塞姆。日志。 76,第3期,807-826(2011).MSC公司:03B40型 03B70号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Given Wilson}和\textit{B.Jay},J.Symb。日志。76,第3号,807--826(2011;Zbl 1248.03025) 全文: 内政部 链接
乔治·巴姆帕利亚斯;罗德·唐尼;吴景孟 将有效闭集和应用程序中的反转跳跃到随机性。 (英语) Zbl 1248.03065号 J.塞姆。日志。 76,第2期,491-518(2011). 审核人:梁羽(南京) MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}等人,J.Symb。日志。76,第2号,491--518(2011;Zbl 1248.03065) 全文: 内政部
马克·福尔克 归纳推理中的稳健分离。 (英语) Zbl 1221.03034号 J.塞姆。日志。 76,第2期,368-376(2011).MSC公司:03D20日 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fulk},J.Symb。日志。76,第2号,368--376(2011;Zbl 1221.03034) 全文: 内政部
拉维尼亚·埃吉迪;乔瓦尼·法格里亚 Robinson子系统(Q_{+})的双指数不可分性。 (英语) Zbl 1222.03033号 J.塞姆。日志。 76,编号1,94-124(2011).MSC公司:03C07号机组 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Egidi}和\textit{G.Faglia},J.Symb。日志。76,第1号,94-124(2011;Zbl 1222.03033) 全文: 内政部
英格·贝斯克;彼得·罗登堡 最初的草地。 (英语) 兹伯利1217.68142 J.塞姆。日志。 75,第3号,888-895(2010). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:68问题65 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}和\textit{P.Rodenburg},J.Symb。日志。75,第3号,888--895(2010;Zbl 1217.68142) 全文: 内政部 arXiv公司 链接
简·克拉契克 恒定深度Frege系统的一种可行插值形式。 (英语) Zbl 1194.03052号 J.塞姆。日志。 75,第2期,774-784(2010). 审核人:M.Yasuhara(普林斯顿) MSC公司:20层03 03日30分 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},J.Symb。日志。75,第2号,774--784(2010;Zbl 1194.03052) 全文: 内政部
迪特里赫·库斯克;马库斯·洛伊 自动图中的一些自然决策问题。 (英语) 兹比尔1192.03010 J.塞姆。日志。 75,第2期,678-710(2010).MSC公司:03C57号 03B25号 05年3月 2015年3月1日 05C38号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{M.Lohrey},J.Symb。日志。75,第2号,678--710(2010;Zbl 1192.03010) 全文: 内政部 链接
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 有限类转换系统上的模态\(\mu\)-微积分层次结构。 (英语) Zbl 1191.03012号 J.塞姆。日志。 74,第4期,1367-1400(2009). 审核人:克莱门斯·库普克(伦敦) MSC公司:03B45号 03B70号 05第57页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},J.Symb。日志。74,第4号,1367--1400(2009;Zbl 1191.03012) 全文: 内政部 链接
斯蒂芬·芬纳;威廉·加萨奇;布莱恩·波斯托 学习SUBSEQ的复杂性((A))。 (英语) Zbl 1180.03041号 J.塞姆。日志。 74,第3期,939-975(2009). 审核人:安塔那斯·伊林斯卡斯(维尔纽斯) MSC公司:03天80 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fenner}等人,J.Symb。日志。74,第3号,939--975(2009;Zbl 1180.03041) 全文: 内政部 链接
诺姆·格林伯格;约瑟夫·米勒。 库尔茨随机性的卑鄙。 (英语) Zbl 1168.03033号 J.塞姆。日志。 74,第2期,665-678(2009). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03天80 68问题30 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}和\textit{J.S.Miller},J.Symb。日志。74,编号2665-678(2009年;兹bl 1168.03033) 全文: 内政部 链接
安东·库切拉;西奥多·斯莱曼(Theodore A.Slaman)。 理想的上下限。 (英语) Zbl 1168.68021号 J.塞姆。日志。 74,第2期,517-534(2009).MSC公司:68问题30 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{T.A.Slaman},J.Symb。日志。74,No.2,517--534(2009;Zbl 1168.68021) 全文: 内政部 arXiv公司
洛伦佐·卡卢奇;凯斯,约翰;桑杰·贾恩 学习纠错语法。 (英语) Zbl 1193.03067号 J.塞姆。日志。 74,第2期,489-516(2009).MSC公司:05年3月 68问题32 91E40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci}等人,J.Symb。日志。74,第2号,489--516(2009;Zbl 1193.03067) 全文: 内政部
斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 带交集和逆向的PDL:可满足性和无限状态模型检查。 (英语) Zbl 1181.03034号 J.塞姆。日志。 74,第1期,279-314(2009). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70号 05年3月 2017年第68季度 65年第68季度 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人,J.Symb。日志。74,第1号,279--314(2009;Zbl 1181.03034) 全文: 内政部
维罗尼卡·贝彻;谢尔盖·格里戈里耶夫 从索引集到\(\空集^{n}\)中的随机性:随机实域和可能的无限计算。二、。 (英语) Zbl 1163.03023号 J.塞姆。日志。 74,第1期,124-156(2009). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:03天80 03日第10天 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}和\textit{S.Grigorieff},J.Symb。日志。74,第1号,124--156(2009;Zbl 1163.03023) 全文: 内政部
纽约州约翰·富兰克林。 超免疫自由度和Schnorr平凡。 (英语) Zbl 1181.03045号 J.塞姆。日志。 73,编号31999-1008(2008). 审核人:Frank Stephan(新加坡) MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Y.Franklin},J.Symb。日志。73,第3号,999--1008(2008;Zbl 1181.03045) 全文: 内政部
斯蒂芬·宾斯 \具有复杂元素的(\Pi _1^0\)类。 (英语) Zbl 1155.03032号 J.塞姆。日志。 73,第4期,1341-1353(2008).MSC公司:03天80 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.宾斯},J.塞姆。日志。73,第4号,1341--1353(2008;Zbl 1155.03032) 全文: 内政部
布鲁诺·波扎特 关于使用Valiant方法计算多项式的空间复杂度定义的搜索。(al-la recherche de la dédefinition de la complexitéd’espace pour le calcul des polynómesála manière de Valiant) (法语) Zbl 1160.03020号 J.塞姆。日志。 73,第4期,1179-1201(2008). 审核人:吉列尔莫·莫拉莱斯·卢纳(墨西哥) MSC公司:2015年3月1日 2015年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Poizat},J.Symb。日志。73,编号41179--1201(2008年;兹bl 1160.03020) 全文: 内政部
布鲁诺·杜兰德;莱昂尼德·莱文(Leonid A.Levin)。;亚历山大·沈 复杂的瓷砖。 (英语) Zbl 1141.03021号 J.塞姆。日志。 73,第2号,593-613(2008).MSC公司:03天80 68问题30 03D28号 52C20个 PDF格式BibTeX公司 XML格式引用 \textit{B.Durand}等人,J.Symb。日志。73,第2号,593--613(2008;Zbl 1141.03021) 全文: 内政部 arXiv公司
吴景孟 在非常高的温度下。 (英语) Zbl 1168.03031号 J.塞姆。日志。 73,第1号,309-342(2008). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:03D25号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Ng},J.Symb。日志。73,编号1309-342(2008年;兹bl 1168.03031) 全文: 内政部 欧几里得
斯蒂芬·库克;简·克拉契克 (\mathrm{NP}\subseteq\mathrm{P/poly}\)可证明性的结果。 (英语) Zbl 1133.03035号 J.塞姆。日志。 72,第4期,1353-1371(2007). 审核人:Emil Jeřábek(普拉哈) MSC公司:20层03 30楼03号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cook}和\textit{J.Krajíck},J.Symb。日志。72,第4号,1353--1371(2007;Zbl 1133.03035) 全文: 内政部 欧几里得
Rick,Statman先生 关于alpha转换的复杂性。 (英语) Zbl 1130.03011号 J.塞姆。日志。 72,第4期,1197-1203(2007).MSC公司:03B40型 2015年3月1日 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Statman},J.Symb。日志。72,第4号,1197--1203(2007;Zbl 1130.03011) 全文: 内政部 欧几里得
巴哈迪尔·库萨诺夫;帕维尔·塞穆金;弗兰克·斯蒂芬 Kolmogorov复杂性在可计算模型理论中的应用。 (英语) Zbl 1127.03031号 J.塞姆。日志。 72,编号3,1041-1054(2007). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03C57号 03D45号 68问题30 03C35号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov}等人,J.Symb。日志。72,第3号,1041--1054(2007;Zbl 1127.03031) 全文: 内政部 欧几里得 链接
约翰·奇索姆;詹妮弗·丘布;瓦伦蒂娜·S·哈里扎诺夫。;丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;乔库什,卡尔·G·军。;蒂莫西·麦克尼科尔;莎拉·平里 \(Pi_1^0)类和关系的强度谱。 (英语) Zbl 1123.03025号 J.塞姆。日志。 72,第3号,1003-1018(2007).MSC公司:03C57号 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.Chisholm}等人,J.Symb。日志。72,第3号,1003--1018(2007;Zbl 1123.03025) 全文: 内政部 欧几里得
埃米尔·杰瓦贝克 有界算术中的近似计数。 (英语) Zbl 1123.03051号 J.塞姆。日志。 72,第3号,959-993(2007). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 2015年3月1日 2015年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},J.Symb。日志。72,编号3959-993(2007年;Zbl 1123.03051) 全文: 内政部 欧几里得 链接
陈一佳;弗鲁姆,约格;马丁·格罗 W*-层次结构分析。 (英语) Zbl 1122.03040号 J.塞姆。日志。 72,第2期,513-534(2007). 审核人:安德烈亚斯·布兰德斯特(罗斯托克) MSC公司:2015年3月1日 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,J.Symb。日志。72,第2号,513--534(2007;Zbl 1122.03040) 全文: 内政部
维罗尼卡·贝彻;圣地亚哥菲格拉;谢尔盖·格里戈里耶夫;约瑟夫·米勒。 随机性和停止概率。 (英语) Zbl 1152.03038号 J.塞姆。日志。 71,第4期,1411-1430(2006).MSC公司:03天80 03日第10天 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}等人,J.Symb。日志。71,第4号,1411--1430(2006;Zbl 1152.03038) 全文: 内政部
威廉·卡尔霍恩(William C.Calhoun)。 单调复杂度。 (英语) Zbl 1109.03033号 J.塞姆。日志。 71,第4期,1327-1341(2006).MSC公司:2015年3月1日 03D25号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Calhoun},J.Symb。日志。71,第4号,1327--1341(2006;Zbl 1109.03033) 全文: 内政部 链接
罗德·唐尼;安德烈·涅斯;丽贝卡·韦伯;于,梁 Lowness和\(\Pi^0_2\)null集。 (英语) Zbl 1112.03040号 J.塞姆。日志。 71,编号3,1044-1052(2006). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:03天80 68问题30 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Symb。日志。71,第3号,1044--1052(2006;Zbl 1112.03040) 全文: 内政部
于,梁 局部可数序的度量理论方面。 (英语) 兹比尔1109.03038 J.塞姆。日志。 71,第3期,958-968(2006).MSC公司:03日30分 03D28号 03E15年 2006年6月 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Yu},J.Symb。日志。71,第3号,958-968(2006;Zbl 1109.03038) 全文: 内政部
理查德·贝格尔;哈里·布尔曼;彼得·费杰尔;福特诺,兰斯;彼得·格拉博夫斯基;卢克·朗普雷;安德烈·穆奇尼克;弗兰克·斯蒂芬;托伦弗利特,Leen Kolmogorov函数的枚举。 (英语) Zbl 1165.03025号 J.塞姆。日志。 71,第2期,501-528(2006).MSC公司:03天80 2015年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Beigel}等人,J.Symb。日志。71,第2号,501--528(2006;Zbl 1165.03025) 全文: 内政部 链接
普鲁内斯库,米海 快速消除量词的结构。 (英语) Zbl 1100.03018号 J.塞姆。日志。 71,第1期,321-328(2006).MSC公司:03C10号机组 03B25号 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Prunescu},J.Symb。日志。71,第1号,321--328(2006;Zbl 1100.3018) 全文: 内政部
马丁·兰格;卡斯滕·卢茨 具有交集的命题动态逻辑的2-ExpTime下限。 (英语) Zbl 1100.03017号 J.塞姆。日志。 70,第4期,1072-1086(2005).MSC公司:03B70号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}和\textit{C.Lutz},J.Symb。日志。70,第4号,1072--1086(2005;Zbl 1100.03017) 全文: 内政部
亚历山大·雷切夫 相对随机性和实闭域。 (英语) Zbl 1090.03014号 J.塞姆。日志。 70,第1期,319-330(2005). 审核人:罗德尼·唐尼(惠灵顿) MSC公司:03天80 03日30分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Raichev},J.Symb。日志。70,第1号,319--330(2005;Zbl 1090.03014) 全文: 内政部
Micha Krynicki;康拉德·兹达诺夫斯基 有限模型中的算术理论。 (英语) Zbl 1094.03022号 J.塞姆。日志。 70,第1号,1-28(2005). 审核人:Roman Kossak(纽约) MSC公司:03C13号机组 03C68号 30楼03号 2017年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Krynicki}和\textit{K.Zdanowski},J.Symb。日志。70,第1号,1--28(2005;Zbl 1094.03022) 全文: 内政部 链接
维罗尼卡·贝彻;谢尔盖·格里戈里耶夫 随机实域和可能的无限计算。一: \(\emptyset’\)中的随机性。 (英语) Zbl 1089.03037号 J.塞姆。日志。 70,第3期,891-913(2005). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:03天80 68问题30 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}和\textit{S.Grigorieff},J.Symb。日志。70,编号3,891--913(2005年;兹bl 1089.03037) 全文: 内政部
蒂尔·坦托 弱基数定理。 (英语) Zbl 1092.03020号 J.塞姆。日志。 70,第3期,861-878(2005). 审核人:Heribert Vollmer(汉诺威) MSC公司:05年3月 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tantau},J.Symb。日志。70,第3号,861--878(2005;Zbl 1092.03020) 全文: 内政部
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 度量和拓扑的逻辑。 (英语) Zbl 1089.03021号 J.塞姆。日志。 70,第3期,795-828(2005).MSC公司:03B60号 03B44号 54E35个 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},J.Symb。日志。70,第3号,795--828(2005;Zbl 1089.03021) 全文: 内政部 链接
安德烈·涅斯;弗兰克·斯蒂芬;塞巴斯蒂安·特维恩。 随机性、相对性和图灵度。 (英语) Zbl 1090.03013号 J.塞姆。日志。 70,第2期,515-535(2005). 审核人:罗德尼·唐尼(惠灵顿) MSC公司:03天80 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}等人,J.Symb。日志。70,编号2155-535(2005年;兹bl 1090.03013) 全文: 内政部 链接
奥列格·皮库尔科;奥列格·维尔比茨基 有限结构的描述复杂性:保存量词秩。 (英语) Zbl 1105.03029号 J.塞姆。日志。 70,第2期,419-450(2005). 审核人:Heribert Vollmer(汉诺威) MSC公司:03C13号机组 19年第68季度 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Pikhurko}和\textit{O.Verbitsky},J.Symb。日志。70,第2号,419--450(2005;Zbl 1105.03029) 全文: 内政部 arXiv公司
于,梁;丁德成 没有软件完整的c.e.real。 (英语) Zbl 1070.03028号 J.塞姆。日志。 69,第4期,1163-1170(2004). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03天80 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Yu}和\textit{D.Ding},J.Symb。日志。69,第4号,1163--1170(2004;Zbl 1070.03028) 全文: 内政部
Kołodziejczyk、Leszek Aleksander PH中有界查询类属性的有限模型理论证明。 (英语) Zbl 1081.03027号 J.塞姆。日志。 69,第4期,1105-1116(2004).MSC公司:03C13号机组 2015年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。69,第4号,1105--1116(2004;Zbl 1081.03027) 全文: 内政部 链接
约瑟夫·米勒。 每个2-随机实数都是Kolmogorov随机数。 (英语) Zbl 1090.03012号 J.塞姆。日志。 69,第3期,907-913(2004). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03天80 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Miller},J.Symb。日志。69,第3号,907--913(2004;Zbl 1090.03012) 全文: 内政部
沃尔夫冈·默克尔;内纳德·米哈伊洛维奇 关于有效随机集的构造。 (英语) Zbl 1090.03011号 J.塞姆。日志。 第3期第69页,第862-878页(2004年). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03天80 68问题30 60克42 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Merkle}和\textit{N.Mihailović},J.Symb。日志。69,第3号,862--878(2004;Zbl 1090.03011) 全文: 内政部
斯蒂芬·芬纳(Stephen A.Fenner)。;斯图亚特·库尔茨(Stuart A.Kurtz)。;詹姆斯·罗耶(James S.Royer)。 每一个多项式时间1度崩溃当且仅当\(\text{P}=\text{PSPACE}\)。 (英语) Zbl 1081.03042号 J.塞姆。日志。 69,第3期,713-741(2004).MSC公司:2015年3月1日 2015年第68季度 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Fenner}等人,J.Symb。日志。69,第3号,713--741(2004;Zbl 1081.03042) 全文: 内政部
费舍尔(E.Fischer)。;Makowsky,J.A。 关于带计数的一元二阶逻辑句子的谱。 (英语) Zbl 1070.03018号 J.塞姆。日志。 69,第3期,617-640(2004).MSC公司:03C13号机组 03B15号机组 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fischer}和\textit{J.A.Makowsky},J.Symb。日志。69,第3号,617--640(2004;Zbl 1070.03018) 全文: 内政部
罗德尼·G·唐尼。;埃文·格里菲斯。 Schnorr随机性。 (英语) Zbl 1072.03025号 J.塞姆。日志。 69,第2期,533-554(2004). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03天80 03层60 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}和\textit{E.J.Griffiths},J.Symb。日志。69,编号2533-554(2004年;Zbl 1072.03025) 全文: 内政部
简·克拉契克 隐式证明。 (英语) Zbl 1069.03053号 J.塞姆。日志。 69,第2期,387-397(2004).MSC公司:20层03 2015年3月1日 2015年第68季度 30楼03号 PDF格式BibTeX公司 XML格式引用 \文本{J.Krajíček},J.Symb。日志。69,第2号,387--397(2004;Zbl 1069.03053) 全文: 内政部
安德烈斯·安巴尼斯;凯斯,约翰;桑杰·贾恩;苏拉杰,Mandayam 归纳推理的简约层次。 (英语) Zbl 1068.68071号 J.塞姆。日志。 69,第1287-327号(2004年).MSC公司:68问题32 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Ambainis}等人,J.Symb。日志。69,第1号,287--327(2004;Zbl 1068.68071) 全文: 内政部
简·克拉契克 对偶弱鸽子洞原理、伪递推函数和电路下界的可证明性。 (英语) Zbl 1068.03048号 J.塞姆。日志。 69,第1期,265-286(2004).MSC公司:20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Krajíček},J.Symb。日志。69,第1号,265--286(2004;Zbl 1068.03048) 全文: 内政部
Kołodziejczyk、Leszek Aleksander 有限模型中的真值定义。 (英语) Zbl 1068.03025号 J.塞姆。日志。 69,第1期,183-200(2004).MSC公司:03C13号机组 2015年3月1日 19年第68季度 2015年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。69,第1号,183--200(2004;Zbl 1068.03025) 全文: 内政部
凯斯勒,H.杰罗姆;Wafik Boulos的Lotfallah 一元二阶逻辑中的一阶量词。 (英语) Zbl 1067.03049号 J.塞姆。日志。 69,第1期,118-136(2004).MSC公司:03C80号 03C13号机组 19年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Keisler}和\textit{W.B.Lotfallah},J.Symb。日志。69,第1号,118--136(2004;Zbl 1067.03049) 全文: 内政部 链接
冈瑟·梅因哈特 代数结构复杂性理论中的P对NP和可计算性理论构造。 (英语) Zbl 1067.03051号 J.塞姆。日志。 69,第1号,39-64(2004).MSC公司:2015年3月1日 03C10号机组 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mainhardt},J.Symb。日志。69,编号1,39--64(2004;Zbl 1067.03051) 全文: 内政部
沃尔夫冈·默克尔 Kolmogorov-Loveland随机序列在选择子序列下是不封闭的。 (英语) Zbl 1065.03024号 J.塞姆。日志。 68,第4期,1362-1376页(2003年). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03天80 68问题30 60摄氏度05 PDF格式BibTeX公司 XML格式引用 \textit{W.Merkle},J.Symb。日志。68,第4号,1362--1376(2003;Zbl 1065.03024) 全文: 内政部 欧几里得
帕维尔·普德拉克 平行战略。 (英语) 兹伯利1055.03034 J.塞姆。日志。 68,第4期,1242-1250(2003).MSC公司:30楼03号 91A05型 91A20型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák},J.Symb。日志。68,第4号,1242--1250(2003;Zbl 1055.03034) 全文: 内政部 欧几里得