斯特凡诺·马扎蒂 复杂性类的新替换基。 (英语) Zbl 1455.03051号 数学。日志。问:。 66,第1期,37-50(2020年). 审核人:Arne Meier(汉诺威) MSC公司:2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mazzanti},数学。日志。Q.66,第1号,37--50(2020;Zbl 1455.03051) 全文: 内政部 链接
克劳德·苏里森 \(Pi_1^1)-Martin-Löf随机性和(Pi_1 ^1)-Solovay完备性。 (英语) Zbl 1521.03130号 数学。日志。问:。 65,第3号,265-279(2019).MSC公司:03D60年 03天32分 03E15年 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{C.Sureson},数学。日志。问65,第3号,265--279(2019;Zbl 1521.03130) 全文: 内政部
鲍嘉,特里斯特拉姆;约翰·古德里克;Danny Nguyen;凯文·伍兹 参数Presburger算法:计数和量词消除的复杂性。 (英语) Zbl 1521.03222号 数学。日志。问:。 65,第2号,237-250(2019).MSC公司:30楼03号 03C10号机组 2015年3月15日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bogart}等人,数学。日志。Q.65、No.2、237--250(2019;Zbl 1521.03222) 全文: 内政部 arXiv公司 链接
Dariusz Kalociñski;托马斯·斯蒂弗 关于不稳定和非最优预测。 (英语) Zbl 1521.03124号 数学。日志。问:。 65,No.2,218-227(2019).MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kalociáski}和\textit{T.Steifer},数学。日志。Q.65、No.2、218--227(2019;Zbl 1521.03124) 全文: 内政部
简·马利;莫里茨·米勒 关于伪证明系统和可满足性问题的硬实例的注记。 (英语) Zbl 1521.03220号 数学。日志。问:。 64,第6期,418-428(2018).MSC公司:20层03 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Maly}和\textit{M.米勒},数学。日志。问64、第6、418--428号(2018;Zbl 1521.03220) 全文: 内政部 链接
Pratt Hartmann,伊恩 具有一个传递关系的二元一阶逻辑的有限可满足性是可判定的。 (英语) Zbl 1521.03019号 数学。日志。问:。 第3期第64页,第218-248页(2018年).MSC公司:03B25号 03C10号机组 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},数学。日志。企64、3号、218--248(2018;Zbl 1521.03019) 全文: 内政部 arXiv公司
巴兹尔·卡戴斯。 非平面域上的正规形式、线性和素代数性。 (英语) Zbl 1521.68075号 数学。日志。问:。 64,编号1-2,55-88(2018).MSC公司:第68季度55 03B40型 06立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Karádais},数学。日志。问64,编号1--2,55-88(2018;Zbl 1521.68075) 全文: 内政部
佐克州威特芬;Leen Torenvliet公司 固定参数可判定性:扩展参数化复杂性分析。 (英语) Zbl 1377.03030号 数学。日志。问:。 62,第6号,596-607(2016). 审核人:梁羽(南京) MSC公司:2015年3月15日 2015年第68季度 03D25号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{J.Witteveen}和\textit{L.Torenvliet},数学。日志。问62,第6号,596--607(2016;Zbl 1377.03030) 全文: 内政部
杰森·鲁特 可计算概率空间的可计算随机性和下注。 (英语) Zbl 1364.03064号 数学。日志。问:。 62,编号4-5335-366(2016). 审核人:路德维希·斯泰格(哈雷/萨勒) MSC公司:03天32分 68问题30 60A99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rute},数学。日志。问62,编号4--5,335--366(2016;Zbl 1364.03064) 全文: 内政部 arXiv公司
奥利维尔·芬克尔 局部有限语言和有效分析集具有相同的拓扑复杂性。 (英语) Zbl 1432.03073号 数学。日志。问:。 62,No.4-5,303-318(2016).MSC公司:05年3月 03E15年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},数学。日志。问62,编号4--5,303--318(2016;Zbl 1432.03073) 全文: 内政部 哈尔
朱利娅·弗罗索尼 子结构逻辑的双核映象。 (英语) Zbl 1405.03055号 数学。日志。问:。 62,第3期,204-214(2016). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B47号 03G25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Frosoni},数学。日志。企62、3号、204--214(2016;Zbl 1405.03055) 全文: 内政部
Pratt Hartmann,伊恩 具有计数和等价性的双变量片段。 (英语) Zbl 1357.03040号 数学。日志。问:。 61,第6期,474-515(2015).MSC公司:03B20型 03B25号 2015年3月15日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},数学。日志。问61,第6号,474--515(2015;Zbl 1357.03040) 全文: 内政部
斯蒂芬·宾斯 完整性、紧凑性、有效尺寸。 (英语) Zbl 1302.03049号 数学。日志。问:。 59,第3期,206-218(2013). 审核人:路德维希·斯泰格(哈雷/萨尔) MSC公司:03天32分 54E25型 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Binns},数学。日志。问59,第3号,206--218(2013;Zbl 1302.03049) 全文: 内政部
赫克托·弗雷特斯;格雷西拉·多梅内克 混合态量子计算逻辑。 (英语) Zbl 1276.68071号 数学。日志。问:。 59,编号1-2,27-50(2013). 审核人:T.C.Mohan(钦奈) MSC公司:2005年第68季度 81页68 03B70号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{H.Freytes}和\textit{G.Domenech},数学。日志。问59,编号1--2,27-50(2013;Zbl 1276.68071) 全文: 内政部 arXiv公司 链接
冯世光;赵西顺 二阶扩展Horn逻辑的复杂性和表达能力。 (英语) Zbl 1319.68105号 数学。日志。问:。 59,第1-2、4-11号(2013). 审核人:Heribert Vollmer(汉诺威) MSC公司:19年第68季度 03C13号机组 03C85号 2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}和\textit{X.Zhao},数学。日志。问59,编号1--2,4--11(2013;Zbl 1319.68105) 全文: 内政部
木本菊池;Kurahashi、Taishi;广岛酒井 关于Vopěnka、Chaitin和Boolos基于Berry佯谬的不完全性定理的证明。 (英语) Zbl 1257.03088号 数学。日志。问:。 58,编号4-5,307-316(2012). 审核人:赛义德·萨利希(大不里士) MSC公司:03F40型 03A05号 30楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kikuchi}等人,《数学》。日志。问58,编号4--5,307--316(2012;Zbl 1257.03088) 全文: 内政部
奥拉夫·拜尔斯多夫;泽农·萨多夫斯基 承诺类有完整的集合吗? (英语) Zbl 1253.68138号 数学。日志。问:。 57,第6号,535-550(2011年).MSC公司:2015年第68季度 20层03 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{Z.Sadowski},数学。日志。问57,第6号,535--550(2011;Zbl 1253.68138) 全文: 内政部
凯斯,约翰;桑杰·贾恩 Rice和Rice-Shapiro关于超限修正文法的定理。 (英语) Zbl 1247.03093号 数学。日志。问:。 57,第5期,504-516(2011).MSC公司:03D55号 68问题32 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.Jain},数学。日志。问57,第5号,504--516(2011;Zbl 1247.03093) 全文: 内政部
伊布卡、新高;木本菊池;平冢桔梗 形式算术理论的科尔莫戈洛夫复杂性和特征常数。 (英语) Zbl 1247.03071号 数学。日志。问:。 57,第5期,470-473(2011).MSC公司:03天10分 30楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Ibuka}等人,《数学》。日志。问57,第5号,470--473(2011;Zbl 1247.03071) 全文: 内政部
贾恩·皮奇 具有插值形式的证明系统中的Nisan-Widgerson生成器。 (英语) Zbl 1252.03132号 数学。日志。问:。 57,第4期,第379-383页(2011年).MSC公司:20层03 2015年3月15日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pich},数学。日志。问57,第4号,379--383(2011;Zbl 1252.03132) 全文: 内政部
宫崎骏 真值表Schnorr随机性和真值表可约随机性。 (英语) Zbl 1220.03043号 数学。日志。问:。 57,第3期,323-338(2011).MSC公司:03天32分 2015年3月15日 03D25号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{K.Miyabe},数学。日志。问57,第3号,323--338(2011;Zbl 1220.03043) 全文: 内政部
奥利维尔·芬克尔 在某些字典集上,其\(\omega \)幂具有给定的复杂性。 (英语) Zbl 1203.03067号 数学。日志。问:。 第56452-460号(2010年).MSC公司:03E15年 05年5月54日 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},数学。日志。问56,第5号,452--460(2010;Zbl 1203.03067) 全文: 内政部 arXiv公司
斯特凡诺·卡瓦琴托 命题逻辑在细胞自动机中的一些应用。 (英语) Zbl 1183.68392号 数学。日志。问:。 55,第6号,605-616(2009).MSC公司:68问题80 03B05号 03B70号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{S.Cavagnetto},数学。日志。问55,第6号,605--616(2009;Zbl 1183.68392) 全文: 内政部
Kołodziejczyk,Leszek A。;尼尔·萨彭 (V^0)中的多项式和线性时间层次结构。 (英语) Zbl 1181.03057号 数学。日志。问:。 55,第5期,509-514(2009). 审核人:Roman Kossak(纽约) MSC公司:30楼03号 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk}和\textit{N.Thapen},数学。日志。问55,第5号,509--514(2009;Zbl 1181.03057) 全文: 内政部
费利克斯·勃兰特;费利克斯·费舍尔;保罗·哈伦斯坦 选择集的计算复杂性。 (英语) Zbl 1173.91358号 数学。日志。问:。 55,第444-459号(2009年).MSC公司:91B14号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Brandt}等人,数学。日志。问55,第4号,444--459(2009;Zbl 1173.91358) 全文: 内政部
哥波尔·埃尔德莱伊;马库斯·诺瓦克;约尔格·罗特 基于真诚策略的优先支持投票完全抵制建设性控制,广泛抵制破坏性控制。 (英语) Zbl 1177.91065号 数学。日志。问:。 55,第4期,425-443(2009). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:91B12号机组 91B14号机组 91B08型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Erdélyi}等人,《数学》。日志。问题55,第4号,425-443(2009年;兹bl 1177.91065) 全文: 内政部 arXiv公司
伊迪丝·赫玛斯潘德拉;Hemaspandra,A巷。;约尔格·罗特 混合选举扩大了复杂性理论对控制的阻力。 (英语) Zbl 1177.91066号 数学。日志。问:。 55,第4期,397-424(2009). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:91B12号机组 91B14号机组 91B08型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Hemaspandra}等人,数学。日志。问55,第4号,397--424(2009;Zbl 1177.91066) 全文: 内政部 arXiv公司
尤拉姆·巴赫拉赫;迈克尔·扎克曼;杰弗里·罗森谢因(Jeffrey S.Rosenschein)。 努力游戏和近视的代价。 (英语) Zbl 1173.91304号 数学。日志。问:。 55,第4期,377-396(2009).MSC公司:91A12号机组 2015年3月15日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bachrach}等人,数学。日志。问55,第4号,377--396(2009;Zbl 1173.91304) 全文: 内政部
Daria Spescha;托马斯·斯特拉姆 基本显式类型和多项式时间运算。 (英语) Zbl 1171.03036号 数学。日志。问:。 55,第3期,245-258(2009). 审核人:M.Yasuhara(普林斯顿) MSC公司:03楼50 35楼03号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Spescha}和\textit{T.Strahm},数学。日志。问题55,第3245-258号(2009年;兹bl 1171.03036) 全文: 内政部
江口、闹喜 派生边界增长缓慢的字典路径顺序。 (英语) Zbl 1171.03023号 数学。日志。问:。 55,第2期,212-224(2009). 审核人:Heribert Vollmer(汉诺威) MSC公司:2015年3月15日 2015年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Eguchi},数学。日志。问题55,第212-124号(2009年;兹bl 1171.03023) 全文: 内政部 arXiv公司
萨蒂亚德夫·南达库马尔 构造维度的特征。 (英语) Zbl 1175.03027号 数学。日志。问:。 55,第2期,185-200(2009). 审核人:Heribert Vollmer(汉诺威) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Nandakumar},数学。日志。问55,第2号,185--200(2009;Zbl 1175.03027) 全文: 内政部
奥拉夫·拜尔斯多夫 关于算术理论和命题证明系统之间的对应关系——综述。 (英语) Zbl 1168.03042号 数学。日志。问:。 55,第2期,116-137(2009). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:20层03 30楼03号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff},数学。日志。问55,第2号,116--137(2009;Zbl 1168.03042) 全文: 内政部 链接
马西亚尔·罗梅罗,J.雷蒙多;M.Andrew Moshier 序列实数计算和递归关系。 (英语) Zbl 1328.03046号 数学。日志。问:。 54,第5期,492-507(2008).MSC公司:03D78号 03D20日 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Marcial-Romero}和\textit{M.A.Moshier},数学。日志。企54、5号、492--507(2008;Zbl 1328.03046) 全文: 内政部
杰克·H·卢茨。;克劳斯·维赫劳赫 维度级别集的连接属性。 (英语) Zbl 1155.03044号 数学。日志。问:。 54,第5期,483-491(2008).MSC公司:03层60 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Lutz}和\textit{K.Weihrauch},数学。日志。问54,第5号,483--491(2008;Zbl 1155.03044) 全文: 内政部
蒂埃里·利伯特 积极弗雷格及其苏格兰风格语义。 (英语) Zbl 1147.03007号 数学。日志。问:。 54,第4期,410-434(2008).MSC公司:03B40型 03B70号 06立方厘米35 第68季度55 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{T.Libert},数学。日志。问54,第4号,410-434(2008;Zbl 1147.03007) 全文: 内政部
伊莎贝尔·奥伊塔维姆 使用指针表征PSPACE。 (英语) Zbl 1142.03021号 数学。日志。问:。 54,第3号,323-329(2008).MSC公司:03D20日 2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Oitavem},数学。日志。问54,第3号,323--329(2008;Zbl 1142.03021) 全文: 内政部
伊藤、马萨米;利施克,格哈德 “单词的广义周期性和原始性”勘误表。 (英语) Zbl 1169.68478号 数学。日志。问:。 53,第6号,642-643(2007).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}和\textit{G.Lischke},数学。日志。问题53,第6号,642-643(2007年;兹bl 1169.68478) 全文: 内政部
于福祥 关于煎饼问题的复杂性。 (英语) Zbl 1127.68034号 数学。日志。问:。 53,No.4-5,532-546(2007).MSC公司:2015年第68季度 37J10型 2015年3月15日 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu},数学。日志。问53,编号4--5,532--546(2007;Zbl 1127.68034) 全文: 内政部
斯蒂芬·辛普森。 大规模问题和几乎无处不在的统治。 (英语) Zbl 1123.03041号 数学。日志。问:。 53,No.4-5,483-492(2007).MSC公司:03D28号 03日30分 03D25号 03天80 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Simpson},数学。日志。问53,编号4--5,483--492(2007;Zbl 1123.03041) 全文: 内政部
斯蒂芬·辛普森。 几乎无处不在的统治和超高。 (英语) Zbl 1123.03040号 数学。日志。问:。 53,编号4-5462-482(2007).MSC公司:03D28号 03日30分 03D25号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Simpson},数学。日志。问53,编号4--5,462--482(2007;Zbl 1123.03040) 全文: 内政部
伊藤、马萨米;利施克,格哈德 单词的广义周期性和原始性。 (英语) Zbl 1107.68050号 数学。日志。问:。 53,第1期,91-106(2007); 更正同上,第53号,第6,642-643(2007)。MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}和\textit{G.Lischke},数学。日志。问53,第1号,91-106(2007;Zbl 1107.68050) 全文: 内政部
赫维格·纽布林 二进制字上某些结构的多项式层次结构。 (英语) Zbl 1116.03035号 数学。日志。问:。 53,第1号,43-51(2007). 审核人:安德烈亚斯·布兰德斯特(罗斯托克) MSC公司:2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Nubling},数学。日志。问53,第1号,43-51(2007;Zbl 1116.03035) 全文: 内政部
科塔罗塔达基 将Chaitin的停顿概率(Omega)推广到无限维量子系统中的测量算符。 (英语) Zbl 1109.03041号 数学。日志。问:。 52,第5期,419-438(2006).MSC公司:03天80 03层60 68问题30 第81页,共15页 47 S30 PDF格式BibTeX公司 XML格式引用 \textit{K.Tadaki},数学。日志。企52、5号、419--438(2006;Zbl 1109.03041) 全文: 内政部 arXiv公司
巴特尔申,伊尔努尔一世。 准完备性和无定点函数。 (英语) Zbl 1110.03026号 数学。日志。问:。 52,第6号,595-601(2006).MSC公司:03D28号 03日30分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Batyrshin},数学。日志。问52,第6号,595--601(2006;Zbl 1110.03026) 全文: 内政部
诺曼·丹纳;克里斯·波列特 \(S)中函数类的弱鸽子洞原理^{1}_{2}\). (英语) Zbl 1110.03054号 数学。日志。问:。 52,第6期,575-584(2006).MSC公司:20层03 30楼03号 03D20日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Danner和\textit{C.Pollett},数学。日志。问52,第6号,575--584(2006;Zbl 1110.03054) 全文: 内政部
玛丽·费布斯·桑达;谢尔盖·格里戈里耶夫 Kolmogorov复杂性和整数的集合理论表示。 (英语) Zbl 1107.03043号 数学。日志。问:。 52,第4期,375-403(2006). 审核人:罗德尼·唐尼(惠灵顿) MSC公司:03天10分 68问题30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferbus Zanda}和\textit{S.Grigorieff},数学。日志。企52,第4号,375--403(2006;Zbl 1107.03043) 全文: 内政部 arXiv公司 哈尔
佐藤,肯塔罗 反基础公理下的强制:茎的表达。 (英语) Zbl 1095.03047号 数学。日志。问:。 52,第3期,295-314(2006).MSC公司:03E40型 03E65年 03E35号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.佐藤},数学。日志。问52,第3号,295--314(2006;Zbl 1095.03047) 全文: 内政部 链接
托马斯·布里海耶 关于o-极小动力系统可达性问题不可判定性的注记。 (英语) Zbl 1089.03035号 数学。日志。问:。 52,第2期,165-170(2006).MSC公司:03天35分 68问题85 03C64号 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye},数学。日志。问52,第2号,165--170(2006;Zbl 1089.03035) 全文: 内政部
Amélie Gheerbrant;马钦·莫斯托夫斯基 卡诺普一阶模态逻辑C的递归复杂性。 (英语) Zbl 1092.03008号 数学。日志。问:。 52,第1期,87-94(2006). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03B45号 03日30分 03C13号机组 03C80号 03C85号 2015年3月15日 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gheerprant}和\textit{M.Mostowski},数学。日志。问52,第1号,87-94(2006;Zbl 1092.03008) 全文: 内政部
弗拉鲁普,乌菲;克劳斯·米尔 实数优化问题的两个逻辑层次。 (英语) Zbl 1090.03007号 数学。日志。问:。 52,第1期,37-50(2006).MSC公司:03C13号机组 2015年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Flarup}和\textit{K.Meer},数学。日志。问52,第1号,37--50(2006;Zbl 1090.03007) 全文: 内政部
安德烈亚斯·斯皮尔纳 最小边界接触多边形瓷砖。 (英语) Zbl 1089.68133号 数学。日志。问:。 52,第1期,29-36(2006).MSC公司:68单位05 05B45号 05B50号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Spillner},数学。日志。问52,第1号,第29-36号(2006;Zbl 1089.68133) 全文: 内政部
格哈德·利什克 被删减语言的恢复和语言的相似性。 (英语) Zbl 1093.68055号 数学。日志。问:。 52,第1期,20-28(2006). 审核人:Vesa Halava(图尔库) MSC公司:65年第68季度 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Lischke},数学。日志。问题52,第1号,20-28(2006年;兹bl 1093.68055) 全文: 内政部
安妮城堡;更多,马利卡 超弱Ash猜想和一些特殊情况。 (英语) 邮编1090.03006 数学。日志。问:。 52,第1期,4-13(2006).MSC公司:03C13号机组 2015年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chateau}和\textit{M.More},数学。日志。问52,第1、4--13号(2006;Zbl 1090.03006) 全文: 内政部
格哈德·利什克 正规语言的平方。 (英语) Zbl 1062.68073号 数学。日志。问:。 51,第3期,299-304(2005). 审核人:Vesa Halava(图尔库) MSC公司:65年第68季度 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Lischke},数学。日志。企51、3号、299--304(2005;Zbl 1062.68073) 全文: 内政部
阿诺德·贝克曼;詹·约翰森 意外的分离导致线性有界算法。 (英语) Zbl 1065.03039号 数学。日志。问:。 51,第2期,191-200(2005).MSC公司:30楼03号 20层03 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和textit{J.Johannsen},数学。日志。企51、2号、191--200(2005;Zbl 1065.03039) 全文: 内政部
克里斯蒂安·卡鲁德。;路德维希·施泰格 析取序列的推广。 (英语) Zbl 1061.03077号 数学。日志。问:。 51,第2期,120-128(2005).MSC公司:03层60 65年第68季度 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude}和\textit{L.Staiger},数学。日志。企51、2号、120-128(2005;Zbl 1061.03077) 全文: 内政部
斯特凡诺·马扎蒂 有界迭代和一元函数。 (英语) Zbl 1077.03024号 数学。日志。问:。 51,第1号,89-94(2005). 审核人:Hrant B.Marandjian(埃雷万) MSC公司:03D20日 2015年3月15日 03D50型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mazzanti},数学。日志。问51,第1号,89-94(2005;Zbl 1077.03024) 全文: 内政部
马丁·兰格 LTL与过去的快速公理化。 (英语) Zbl 1058.03023号 数学。日志。问:。 51,第1期,第83-88页(2005年).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},数学。日志。问51,第1号,83--88(2005;Zbl 1058.03023) 全文: 内政部
杰克·H·卢茨。 有效分形维数。 (英语) 兹比尔1058.03044 数学。日志。问:。 51,第1期,第62-72页(2005年).MSC公司:03D45号 28A78号 68问题30 2015年第68季度 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Lutz},数学。日志。问51,第1号,第62-72号(2005;Zbl 1058.03044) 全文: 内政部
阿明·海默林 欧氏空间上类\(Delta^{text{ta}}{2}\)的特征。 (英语) Zbl 1058.03045号 数学。日志。问:。 50,编号4-5,507-519(2004).MSC公司:03D65年 03D55号 03E15年 03层60 26E40型 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},数学。日志。企50,编号4--5,507--519(2004;Zbl 1058.03045) 全文: 内政部
丹尼尔·席尔瓦·格拉萨 香农通用模拟计算机的一些最新发展。 (英语) Zbl 1089.68039号 数学。日志。问:。 50,编号4-5,473-485(2004).MSC公司:2005年第68季度 94C99号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Graça},数学。日志。问50,编号4--5,473--485(2004;Zbl 1089.68039) 全文: 内政部 链接
弗拉基克·克里诺维奇;卢克·朗普雷 用于处理概率和区间不确定性的快速量子算法。 (英语) Zbl 1063.65036号 数学。日志。问:。 50,编号4-5,405-416(2004).MSC公司:65G30型 2017年第68季度 65年第68季度 2015年3月15日 81页68 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{V.Kreinovich}和\textit{L.Longpré},数学。日志。企50,编号4--5,405--416(2004;Zbl 1063.65036) 全文: 内政部 链接
罗德·唐尼;埃文·格里菲斯;杰弗里·拉福特 关于Schnorr和可计算随机性、鞅和机器。 (英语) Zbl 1062.68064号 数学。日志。问:。 50,第6号,613-627(2004). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:68问题30 2015年3月15日 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,数学。日志。问题50,第6613-627号(2004年;兹bl 1062.68064) 全文: 内政部
周亚瑟·W·。;Ko、Ker-I 关于在二维域中查找路径的复杂性。一: 最短路径。 (英语) Zbl 1061.03039号 数学。日志。问:。 50,第6期,551-572(2004). 审核人:Jerzy Mycka(卢布林) MSC公司:2015年3月15日 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Chou}和\textit{K.-I Ko},数学。日志。企50,第6号,551--572(2004;Zbl 1061.03039) 全文: 内政部
苏布拉马尼,K。 关于就一阶查询确定2SAT多胞体的非空性。 (英语) Zbl 1073.68081号 数学。日志。问:。 50,第3期,281-292(2004).MSC公司:68T20型 2017年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani},数学。日志。问50,第3号,281--292(2004;Zbl 1073.68081) 全文: 内政部
Wafik Boulos的Lotfallah Ehrenfeucht-Fraísse级游戏。 (英语) Zbl 1040.03030号 数学。日志。问:。 50,第2期,179-188(2004).MSC公司:03元52分 19年第68季度 03C80号 03C85号 03C13号机组 2015年第68季度 2017年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.B.Lotfallah},数学。日志。企50、2号、179--188(2004;Zbl 1040.03030) 全文: 内政部
伊莎贝尔·奥塔维姆 使用0层指针表征NC。 (英语) Zbl 1038.03048号 数学。日志。问:。 50,第1期,9-17(2004). 审核人:陶仁吉(北京) MSC公司:2015年3月15日 03天10分 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Oitavem},数学。日志。企50,第1号,第9--17号(2004;Zbl 1038.03048) 全文: 内政部
怀特,沃克·M。 可计算结构中范畴的复杂性。 (英语) Zbl 1035.03017号 数学。日志。问:。 49,第6期,603-614(2003).MSC公司:03C57号 03D45号 03C35号 2015年3月15日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.M.White},数学。日志。企49、6号、603--614(2003;Zbl 1035.03017) 全文: 内政部
乔尔·戴维·哈姆金斯;菲利普·韦尔奇。 \(\text P^f\neq\text{NP}^{f}\)用于几乎所有\(f\)。 (英语) Zbl 1043.03036号 数学。日志。问:。 49,第5期,536-540(2003). 审核人:Frank Stephan(新加坡) MSC公司:03天60 03天10分 03D65年 2015年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Hamkins}和\textit{P.D.Welch},数学。日志。企49、5号、536--540(2003;Zbl 1043.03036) 全文: 内政部
莫蒂扎·莫尼里 关于可行构造算法的两个问题。 (英语) Zbl 1022.03043号 数学。日志。问:。 49,第425-427号(2003年).MSC公司:30楼03号 03楼55 03楼50 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Moniri},数学。日志。企49、4号、425--427(2003;Zbl 1022.03043) 全文: 内政部
特洛伊·李 有限结构上的算术可定义性。 (英语) Zbl 1022.03015号 数学。日志。问:。 49,第4期,385-392(2003).MSC公司:03C13号机组 30楼03号 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lee},数学。日志。问49,第4号,385--392(2003;Zbl 1022.03015) 全文: 内政部
马提亚斯·加洛塔;斯文·科苏布;赫里贝特·沃尔默 泛型分离和叶语言。 (英语) 兹比尔1028.68059 数学。日志。问:。 49,第4期,353-362(2003).MSC公司:2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Galota}等人,数学。日志。问49,第4号,353--362(2003;Zbl 1028.68059) 全文: 内政部
普鲁内斯库,米海 所有无穷布尔代数的P(neq)NP。 (英语) 兹比尔1029.68070 数学。日志。问:。 49,第2期,210-213(2003). 审核人:Jerzy Mycka(卢布林) MSC公司:2015年第68季度 2015年3月15日 06E20型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Prunescu},数学。日志。问49,第2号,第210--213条(2003;Zbl 1029.68070) 全文: 内政部
沃尔夫拉姆·门泽尔;弗兰克·斯蒂芬 数字的拓扑方面。 (英语) Zbl 1037.03038号 数学。日志。问:。 49,第2期,129-149(2003). 审核人:马吕斯·齐曼德(汤森) MSC公司:03D20日 03D45号 第54页第35页 68问题32 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Menzel}和\textit{F.Stephan},数学。日志。问49,第2号,129--149(2003;Zbl 1037.03038) 全文: 内政部 链接
阿明·海默林 欧氏空间中的近似可判定性。 (英语) Zbl 1024.03045号 数学。日志。问:。 49,第1期,34-56(2003). 审核人:Oleg V.Belegradek(伊斯坦布尔) MSC公司:03天80 03D45号 03层60 2005年第68季度 26E40型 03天10分 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},数学。日志。企49、1号、34-56(2003;Zbl 1024.03045) 全文: 内政部
道格拉斯·齐泽尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 \(\omega\)-语言的索引集。 (英语) Zbl 1031.03064号 数学。日志。问:。 49,第1期,22-33(2003). 审核人:路德维希·斯泰格(哈雷/萨勒) MSC公司:03天80 03D25号 03D55号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Czenzer}和\textit{J.B.Remmel},数学。日志。企49、1号、22-33(2003;Zbl 1031.03064) 全文: 内政部
简·克拉契克 插值和近似语义推导。 (英语) Zbl 1013.03069号 数学。日志。问:。 48,第4期,602-605(2002).MSC公司:20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},数学。日志。企48、4号、602--605(2002;Zbl 1013.03069) 全文: 内政部
戴维,乔治 科尔莫戈洛夫的复杂性和无可争辩性。 (英语) Zbl 1009.68062号 数学。日志。问:。 48,第4期,574-580(2002).MSC公司:68问题30 03D25号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{G.Davie},数学。日志。问48,第4号,574--580(2002;Zbl 1009.68062) 全文: 内政部
保罗·奥利瓦 关于最佳L_1逼近的计算复杂性。 (英语) 兹比尔1011.41014 数学。日志。问:。 48,补遗1,66-77(2002). 审核人:Yuly Makovoz(洛厄尔) MSC公司:41A50型 41A10号 2010年1月3日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Oliva},数学。日志。Q.48、66--77(2002;Zbl 1011.41014) 全文: 内政部
马可·戈里;克劳斯·米尔 向模拟系统复杂性理论迈进的一步。 (英语) Zbl 1009.68055号 数学。日志。问:。 48,补遗1,45-58(2002).MSC公司:2015年第68季度 2005年第68季度 2010年第68季度 37N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gori}和\textit{K.Meer},数学。日志。Q.48、45-58(2002;Zbl 1009.68055) 全文: 内政部
安德烈·鲍尔 平衡空间和第二类有效性之间的关系。 (英语) Zbl 1026.68088号 数学。日志。问:。 48,增刊1,1-15(2002). 审核人:保罗·班克斯顿(密尔沃基) MSC公司:第68季度55 03D65年 18 C50 18日第15天 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer},数学。日志。Q.48,1-15(2002;Zbl 1026.68088) 全文: 内政部
安德烈亚斯·斯皮尔纳;汉斯·戴特里赫克 最小化简单多边形中顶点灯光的大小。 (英语) Zbl 1014.68203号 数学。日志。问:。 48,第3期,447-458(2002).MSC公司:68单位05 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Spillner}和\textit{H.-D.Hecker},数学。日志。企48、3号、447--458(2002;Zbl 1014.68203) 全文: 内政部
克里斯·波利特;普鲁姆、兰德尔 LH算法的优点和缺点。 (英语) Zbl 1002.03051号 数学。日志。问:。 48,第2期,221-243(2002).MSC公司:30楼03号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Pollett}和\textit{R.Pruim},数学。日志。企48、2号、221--243(2002;Zbl 1002.03051) 全文: 内政部
斯特凡诺·马扎蒂 基本递归函数类的普通基。 (英语) Zbl 1017.03018号 数学。日志。问:。 48,第1号,93-104(2002). 审核人:Hrant B.Marandjian(埃里文) MSC公司:03D20日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mazzanti},数学。日志。企48,第1号,93--104(2002;Zbl 1017.03018) 全文: 内政部
梅纳德·波加德 无限阿贝尔群多项式层次中的分离和转移。(分离和转移是指异教徒群体的多元性。) (法语) Zbl 0989.03032号 数学。日志。问:。 47,第4期,493-502(2001).MSC公司:03C10号机组 2015年3月15日 2015年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bourgade},数学。日志。企47,第4号,493--502(2001;Zbl 0989.03032) 全文: 内政部
阿尔伯特·阿塞里亚斯;尼古拉·加莱西;里卡德·加瓦尔达 鸽子洞原理的单调证明。 (英语) Zbl 0989.03065号 数学。日志。问:。 47,第4期,461-474(2001).MSC公司:20层03 2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人,《数学》。日志。企47,第4号,461--474(2001;Zbl 0989.03065) 全文: 内政部
沃尔夫冈·默克尔;王永革 用随机预言和“几乎”类分离广义可约性。 (英语) Zbl 0999.03036号 数学。日志。问:。 47,第2期,249-269(2001). 审核人:Marat M.Arslanov(喀山) MSC公司:2015年3月15日 03日30分 03D75号 2010年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Merkle}和\textit{Y.Wang},数学。日志。企47、2号、249--269(2001;Zbl 0999.03036) 全文: 内政部
阿明·海默林 关于代数结构上无参数程序的P与NP。 (英语) Zbl 0967.03034号 数学。日志。问:。 47,第1号,67-92(2001). 审核人:U.Schöning(乌尔姆) MSC公司:2015年3月15日 03天10分 03C10号机组 2005年第68季度 2010年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},数学。日志。问47,第1号,67-92(2001;Zbl 0967.03034) 全文: 内政部
伯恩德·博尔切特;弗兰克·斯蒂芬 寻找电路复杂性理论中赖斯定理的类似物。 (英语) Zbl 0964.03039号 数学。日志。问:。 46,第4期,489-504(2000).MSC公司:2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Borchert}和\textit{F.Stephan},数学。日志。企46,第4号,489--504(2000;Zbl 0964.03039) 全文: 内政部
贾娜·迪特尔;汉斯·戴特里赫克 简单多边形可见性图的P-完全性结果。 (英语) Zbl 0962.68165号 数学。日志。问:。 46,第3期,361-375(2000).MSC公司:68单位05 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dietel}和\textit{H.-D.Hecker},数学。日志。企46、3号、361--375(2000;Zbl 0962.68165) 全文: 内政部
瓦莱里·布利特科。 关于图灵化简的段复杂性。 (英语) Zbl 0940.03054号 数学。日志。问:。 45,第4期,561-571(1999). 审核人:沃尔夫冈·默克尔(海德堡) MSC公司:03日30分 03D28号 68问题30 2015年3月15日 03D55号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Bulitko},数学。日志。企45,第4号,561--571(1999;Zbl 0940.03054) 全文: 内政部
Masamitsu小崎;筱田洋一 打开\(\text{修改}(_k)\text{P}\)计数度数。 (英语) Zbl 0932.03047号 数学。日志。问:。 45,第3期,327-342(1999).MSC公司:03日30分 03D28号 2015年第68季度 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit{M.Ozaki}和\textit{J.Shinoda},数学。日志。企45、3号、327--342(1999;Zbl 0932.03047) 全文: 内政部
彼得·赫特林 有效分类的实数结构。 (英语) Zbl 0946.03050号 数学。日志。问:。 45,第2期,147-182(1999). 审核人:R.Downey(惠灵顿) MSC公司:03D45号 03层60 03天80 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hertling},数学。日志。问45,第2号,147--182(1999;Zbl 0946.03050) 全文: 内政部
格哈德·利什克 走向NP和指数时间之间的实际关系。 (英语) Zbl 0933.03046号 数学。日志。问:。 45,第1期,31-49(1999). 审核人:马吕斯·齐曼德(汤森) MSC公司:2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lischke},数学。日志。企45、1号、31-49(1999;Zbl 0933.03046) 全文: 内政部
赫伯特·拜尔;克劳斯·瓦格纳。 解析多项式时间层次。 (英语) Zbl 0920.03051号 数学。日志。问:。 44,第4期,529-544(1998). 审核人:陶仁吉(北京) MSC公司:2015年3月15日 2015年第68季度 03D20日 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Baier}和\textit{K.W.Wagner},数学。日志。问44,第4号,529--544(1998;Zbl 0920.03051) 全文: 内政部
迪特马尔·舒查特;汉斯·戴特里赫克 可见性的变体及其复杂性。 (英语) Zbl 0915.68166号 数学。日志。问:。 44,第4期,522-528(1998).MSC公司:68单位05 2015年3月15日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Schuchardt}和\textit{H.-D.Hecker},数学。日志。问44,第4号,522--528(1998;Zbl 0915.68166) 全文: 内政部
简·克拉契克 通过游戏进行插值。 (英语) Zbl 0915.03047号 数学。日志。问:。 44,第4期,450-458(1998).MSC公司:20层03 2015年3月15日 2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},数学。日志。问44,第4号,450-458(1998;Zbl 0915.03047) 全文: 内政部
佐托鲁黑田 关于\(\text{AC}^0)的理论和归纳方案的强度。 (英语) Zbl 0905.03039号 数学。日志。问:。 44,第3期,417-426(1998年). 审核人:R.Kossak(纽约) MSC公司:30楼03号 2015年第68季度 03C62号 03天10分 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuroda},数学。日志。企44,第3号,417--426(1998;Zbl 0905.03039) 全文: 内政部
阿明·海默林 无限签名结构的可计算性。 (英语) Zbl 0918.03024号 数学。日志。问:。 44,第394-416号(1998年). 审核人:R.Downey(惠灵顿) MSC公司:03D75号 03天10分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},数学。日志。问44,第3号,394--416(1998;Zbl 0918.03024) 全文: 内政部
塞巴斯蒂安·特维恩。;Leen Torenvliet公司 算术度量。 (英语) Zbl 0898.03017号 数学。日志。问:。 44,第2期,277-286(1998年).MSC公司:03D55号 68问题30 03日30分 28A99号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn}和\textit{L.Torenvliet},数学。日志。问44,第2号,277--286(1998;Zbl 0898.03017) 全文: 内政部