尤里·安德鲁斯;卢卡·圣毛罗 调查可计算的弗里德曼-斯坦利跳跃。 (英语) Zbl 07854643号 J.塞姆。日志。 89,编号2,918-944(2024)。理学硕士:03日30分 03D55号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}和\textit{L.San Mauro},J.Symb。日志。89,编号2,918--944(2024;Zbl 07854643) 全文: 内政部 arXiv公司 OA许可证
卡洛斯·卡莱罗;塞尔吉奥·马塞利诺 组合逻辑的模块化多值语义。 (英语) Zbl 07854632号 J.塞姆。日志。 89,编号2,583-636(2024)。理学硕士:03B50号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{S.Marcelino},J.Symb。日志。89,编号2,583--636(2024;Zbl 07854632) 全文: 内政部 arXiv公司
瓦斯科·布拉特卡 不连续性问题。 (英语) Zbl 07735950号 J.塞姆。日志。 88,第3期,1191-1212(2023)。理学硕士:03日30分 03D78号 03E15年 03E25型 03E60年 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},J.Symb(J.塞姆)。日志。88,第3号,1191--1212(2023;Zbl 07735950) 全文: 内政部 arXiv公司 OA许可证
詹姆斯·马修·库萨斯 有限关系代数。 (英语) Zbl 07691763号 J.塞姆。日志。 88,第2号,874-888(2023)。 审核人:罗杰·马杜克斯(艾姆斯) 理学硕士:03G15年 03C13号机组 60平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Koussas},J.Symb。日志。88,第2号,874--888(2023;Zbl 07691763) 全文: 内政部 arXiv公司
尼古拉·甘比诺;马可·费德里科·拉雷阿 代数弱因子分解系统的Martin-Löf型理论模型。 (英语) Zbl 1527.18004号 J.塞姆。日志。 88,第1期,242-289(2023)。理学硕士:18天30分 18号45 03克30 PDF格式BibTeX公司 XML格式引用 \textit{N.Gambino}和\textit{M.F.Larrea},J.Symb。日志。88,编号1,242--289(2023;Zbl 1527.18004) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;卢卡·卡莱;帕特里克·J·莫兰迪。 连续函数环上的模态算子。 (英语) Zbl 07620692号 J.塞姆。日志。 87,第4期,1322-1348(2022)。理学硕士:03B45号 54立方30 2015年2月6日 06E25年 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。87,编号4,1322--1348(2022;Zbl 07620692) 全文: 内政部 arXiv公司
尤里·安德鲁斯;安德烈·索比 ceers度的初始段。 (英语) Zbl 1507.03096号 J.塞姆。日志。 87,第3号,1260-1282(2022)。 审核人:莱昂·哈克勒路(鲍多尼哈姆) 理学硕士:03日30分 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}和\textit{A.Sorbi},J.Symb。日志。87,第3号,1260--1282(2022;Zbl 1507.03096) 全文: 内政部 链接
埃尔凡·哈尼基 关于有限域中不完全性猜想的新关系和分离。 (英语) Zbl 1531.03097号 J.塞姆。日志。 87,编号3,912-937(2022)。理学硕士: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 1531.03097) 全文: 内政部 arXiv公司
简·克拉契克 命题证明和算法证明搜索中的信息。 (英语) Zbl 07541925号 J.塞姆。日志。 87,编号2,852-869(2022)。理学硕士:20层03 2011年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},J.Symb。日志。87,第2号,852-869(2022;兹bl 07541925) 全文: 内政部 arXiv公司
维克托·塞利瓦诺夫 拟Polish空间中的Q-wadge层次。 (英语) Zbl 07541920号 J.塞姆。日志。 87,第2期,732-757(2022年)。理学硕士:2015年3月1日 03D78号 58J45型 6500万06 65平方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Selivanov},J.Symb。日志。87,编号2,732--757(2022;Zbl 07541920) 全文: 内政部 arXiv公司
赫克托·帕滕 关于列表结构的DPRM属性的注释。 (英语) Zbl 1500.11093号 J.塞姆。日志。 87,编号1,273-312(2022)。 审核人:Alexandra Shlapentkh(格林维尔) 理学硕士:11单元09 03D45号 11国道35号 11J68型 PDF格式BibTeX公司 XML格式引用 \textit{H.Pasten},J.Symb。日志。87,编号1,273--312(2022;Zbl 1500.11093) 全文: 内政部 arXiv公司
Laurent Bienvenu;芭芭拉·卡西玛(Barbara F.Csima)。;马修·哈里森·特雷纳 算法随机性的一致性问题。 (英语) Zbl 07457792号 J.塞姆。日志。 86,第4期,1612-1631(2021)。理学硕士:03天32分 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}等人,J.Symb。日志。86,第4号,1612-1631(2021;Zbl 07457792) 全文: 内政部 arXiv公司 哈尔
丸山义弘 纤维代数语义用于各种非经典一阶逻辑和拓扑逻辑翻译。 (英语) 兹伯利1477.18011 J.塞姆。日志。 86,第3期,1189-1213(2021)。 审核人:Hirokazu Nishimura(筑波) 理学硕士:18立方厘米 03克30 03B47号 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{Y.Maruyama},J.Symb。日志。86,第3号,1189--1213(2021;Zbl 1477.18011) 全文: 内政部
蝉蜕、阿加塔;蒂莫·朗;雷文莎·拉马纳亚克 超连续逻辑的有界分析序列计算和嵌入。 (英语) Zbl 07415219号 J.塞姆。日志。 86,第2期,635-668(2021)。理学硕士:03财年03 07年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,J.Symb。日志。86,编号2,635--668(2021;Zbl 07415219) 全文: 内政部 OA许可证
玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥 Hyland有效拓扑的谓语变体。 (英语) Zbl 07415210号 J.塞姆。日志。 86,编号2,433-447(2021)。理学硕士:03克30 03D20日 03楼55 30楼03号 18对25 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Maietti}和\textit{S.Maschio},J.Symb。日志。86,编号2,433--447(2021;Zbl 07415210) 全文: 内政部 arXiv公司
马修·哈里森·特雷纳;亚历山大·梅尔尼科夫;吴孟景 波兰空间到同胚的可计算性。 (英语) Zbl 1473.03025号 J.塞姆。日志。 85,第4期,1664-1686(2020)。 审核人:Jamalbek Tussupov(阿斯塔纳) 理学硕士:03D78号 03D45号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor}等人,J.Symb。日志。85,第4号,1664--1686(2020;Zbl 1473.03025) 全文: 内政部
瓦斯科·布拉特卡;吉多·格拉迪 Weihrauch使用Brouwerian。 (英语) Zbl 1485.03156号 J.塞姆。日志。 85,第4期,1614-1653(2020)。理学硕士:03日30分 03D78号 03楼52 03层60 6月20日 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{G.Gherardi},J.Symb。日志。85,第4号,1614--1653(2020;Zbl 1485.03156) 全文: 内政部 arXiv公司
山崎富代 量子多项式时间可计算性的示意性定义。 (英语) 兹比尔1461.81020 J.塞姆。日志。 85,第4期,1546-1587(2020)。理学硕士:81页68 2012年第68季度 第68季度10 03D75号 PDF格式BibTeX公司 XML格式引用 \文本{T.Yamakami},J.Symb。日志。85,第4号,1546-1587(2020年;兹bl 1461.81020) 全文: 内政部 arXiv公司
罗德·唐尼;诺姆·格林伯格;亚历山大·梅尔尼科夫;孟吴,Keng;丹尼尔·特雷茨基 准时的明确性和普遍性。 (英语) Zbl 1485.03174号 J.塞姆。日志。 85,第4期,1427-1466(2020)。理学硕士:03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Symb。日志。85,第4号,1427--1466(2020;Zbl 1485.03174) 全文: 内政部
泰勒·A·布朗。;蒂莫西·麦克尼科尔。;亚历山大·梅尔尼科夫。 关于勒贝格空间分类的复杂性。 (英语) Zbl 1482.03008号 J.塞姆。日志。 85,第3期,1254-1288(2020)。 审核人:丹尼尔·格拉萨(法罗) 理学硕士:03D45号 03D78号 46个B04 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Brown}等人,J.Symb。日志。85,第3号,1254--1288(2020;Zbl 1482.03008) 全文: 内政部 arXiv公司
鲁伯特·Hölzl;沃尔夫冈·默克尔;约瑟夫·米勒;弗兰克·斯蒂芬;于,梁 Chaitin’s(\Omega)作为连续函数。 (英语) Zbl 1471.03068号 J.塞姆。日志。 85,第1期,486-510(2020年)。 审核人:Roman Murawski(波兹南) 理学硕士:03天32分 68问题30 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人,J.Symb。日志。85,第1号,486--510(2020;Zbl 1471.03068) 全文: 内政部
雅克·杜帕克;路易斯·威勒米耶 Scott域上的Wadge阶不是很好的拟阶。 (英语) Zbl 1477.03186号 J.塞姆。日志。 85,第1号,300-324(2020)。理学硕士: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)。 审核人:杰弗里·赫斯特(布恩) 理学硕士:03B30型 03天32分 35楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{P.Shafer},J.Symb。日志。85,第1271-299号(2020年;兹bl 1444.03013) 全文: 内政部 arXiv公司 链接
尤里·安德鲁斯;斯里克赞·巴达耶夫。 关于可计算可枚举等价关系的同构类。 (英语) Zbl 1452.03092号 J.塞姆。日志。 85,编号1,61-86(2020)。 审核人:帕特里齐奥·辛蒂奥利(卡梅里诺) 理学硕士:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}和\textit{S.A.Badaev},J.Symb。日志。85,编号1,61--86(2020;Zbl 1452.03092) 全文: 内政部
叶夫根尼·科尔马科夫;列夫·贝克莱米舍夫 可证明性的公理化。 (英语) Zbl 1444.03165号 J.塞姆。日志。 84,第2期,849-869(2019)。 审核人:罗杰·维尔梅尔(蒙特勒) 理学硕士:30楼03号 35层03 03F40型 03层45 PDF格式BibTeX公司 XML格式引用 \textit{E.Kolmakov}和\textit{L.Beklemishev},J.Symb。日志。84,第2号,849--869(2019;Zbl 1444.03165) 全文: 内政部 arXiv公司
尼古拉·巴热诺夫;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔基诺夫;吴景孟 自动和多项式时间代数结构。 (英语) Zbl 1454.03042号 J.塞姆。日志。 84,第4期,1630-1669(2019)。 审核人:Jamalbek Tussupov(阿斯塔纳) 理学硕士:03C57号 05年3月 03D20日 03D45号 03天80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,J.Symb。日志。84,第4号,1630--1669(2019;Zbl 1454.03042) 全文: 内政部 链接
鲁伯特·Hölzl;克里斯托弗·波特。 等级和随机性。 (英语) Zbl 1454.03055号 J.塞姆。日志。 84,第4期,1527-1543(2019)。 审核人:梁羽(南京) 理学硕士: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 1454.03015号 J.塞姆。日志。 84,第3期,1194-1214(2019)。 审核人:赛义德·萨利希(大不里士) 理学硕士:03B25号 12升05 03英尺30英寸 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{J.Utreras},J.Symb。日志。84,第3号,1194--1214(2019;Zbl 1454.03015) 全文: 内政部
陈瑞元 可合并的图表形状。 (英语) Zbl 1410.18004号 J.塞姆。日志。 84,第1号,88-101(2019)。 审核人:Hirokazu Nishimura(筑波) 理学硕士:18A30型 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen},J.Symb。日志。84,第1号,88--101(2019;Zbl 1410.18004) 全文: 内政部 arXiv公司
埃里希·格拉德尔;维德州帕库萨 秩逻辑死了,秩逻辑万岁! (英语) Zbl 1425.68134号 J.塞姆。日志。 84,第1号,54-87(2019)。 审核人:格雷戈里·洛伦·麦科姆(坦帕) 理学硕士:19年第68季度 03C13号机组 15B33型 20对25 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}和\textit{W.Pakusa},J.Symb。日志。84,第1号,54-87(2019年;兹bl 1425.68134) 全文: 内政部 链接
文斯·巴拉尼;迈克尔·本尼迪克特;Cate,Balder Ten公司 一些保护性否定的模型理论。 (英语) 兹比尔1522.03098 J.塞姆。日志。 83,编号4,1307-1344(2018)。理学硕士:03B70号 03B45号 03C40 PDF格式BibTeX公司 XML格式引用 \textit{V.Bárány}等人,J.Symb。日志。83,第4号,1307--1344(2018;Zbl 1522.03098) 全文: 内政部 arXiv公司
奥利维尔·卡尔顿;托马斯·科尔科姆贝特;加布里埃尔,小狗 可数线性序上MSO可定义性的代数方法。 (英语) Zbl 1502.03007号 J.塞姆。日志。 83,第3期,1147-1189(2018)。理学硕士: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公司
罗宾·赫希;马克·雷诺兹 二维闵可夫斯基时空的时间逻辑是可判定的。 (英语) Zbl 1502.03006号 J.塞姆。日志。 83,第3期,829-867(2018)。理学硕士:03B44型 83A05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和textit{M.Reynolds},J.Symb。日志。83,第3号,829--867(2018;Zbl 1502.03006) 全文: 内政部 arXiv公司
梅林·卡尔;菲利普·施利希特 无限计算的随机性和有效的描述集理论。 (英语) Zbl 1522.03167号 J.塞姆。日志。 83,第2期,766-789(2018)。理学硕士:03天32分 03D60年 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{M.Carl}和\textit{P.Schlicht},J.Symb。日志。83,No.2,766--789(2018;Zbl 1522.03167) 全文: 内政部 arXiv公司
意大利卡普兰;萨拉、撒哈拉 素数整数理论的可判定性和分类。 (英语) Zbl 1422.03071号 J.塞姆。日志。 82,第3期,1041-1050(2017)。理学硕士:03C45号机组 30楼03号 03B25号 11A41号机组 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{I.卡普兰}和\textit{S.谢拉},J.塞姆。日志。82,第3号,1041--1050(2017;Zbl 1422.03071) 全文: 内政部 arXiv公司
费德里科·阿西埃里 游戏语义和回溯几何:一种新的交互复杂性分析。 (英语) Zbl 1401.03100号 J.塞姆。日志。 82,No.2,672-708(2017)。 审核人:莱因哈德·卡勒(里斯本) 理学硕士:20层03 03B70号 05年3月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri},J.Symb。日志。82,第2号,672--708(2017;Zbl 1401.03100) 全文: 内政部 arXiv公司
菲利普·希罗尼米 实数的有序加性群通过两个离散子群的展开。 (英语) Zbl 1436.03208号 J.塞姆。日志。 81,第3期,1007-1027(2016)。理学硕士:03C64型 03C60型 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Hieronymi},J.Symb。日志。81,第3号,1007--1027(2016;Zbl 1436.03208) 全文: 内政部 arXiv公司
伊恩·赫伯特 具有(Delta_2^0)有界复杂性和压缩能力的Oreals。 (英语) Zbl 1364.03061号 J.塞姆。日志。 81,第3号,833-855(2016)。 审核人:克里斯蒂安·卡鲁德(奥克兰) 理学硕士:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{I.Herbert},J.Symb。日志。81,第3号,833--855(2016;Zbl 1364.03061) 全文: 内政部 arXiv公司
尤里·安德鲁斯;安德烈·索比 可计算可枚举等价关系类的索引集的复杂性。 (英语) Zbl 1403.03062号 J.塞姆。日志。 81,第4期,1375-1395(2016)。理学硕士:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}和\textit{A.Sorbi},J.Symb。日志。81,第4号,1375--1395(2016;Zbl 1403.03062) 全文: 内政部 链接
西尔万·施密茨 隐含关联逻辑是2-到期时间-完整。 (英语) Zbl 1370.03029号 J.塞姆。日志。 81,第2期,641-661(2016)。 审核人:路易斯·高布尔(塞勒姆) 理学硕士:03B47号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schmitz},J.Symb。日志。81,第2号,641--661(2016;Zbl 1370.03029) 全文: 内政部 arXiv公司
阿诺德·贝克曼;Samuel R.巴斯。;Sy-David弗里德曼 安全递归集函数。 (英语) Zbl 1357.03075号 J.塞姆。日志。 80,第3期,730-762(2015)。 审核人:莱昂·哈克勒路(鲍多尼哈姆) 理学硕士:03D65年 2015年3月1日 03日第10天 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}等人,J.Symb。日志。80,第3号,730--762(2015;Zbl 1357.03075) 全文: 内政部 链接
Ellen S.Chih。 快速集的不可分割性。 (英语) Zbl 1436.03221号 J.塞姆。日志。 80,编号2609-635(2015)。理学硕士:03D25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Chih},J.Symb。日志。80,编号2609-635(2015;兹bl 1436.03221) 全文: 内政部 arXiv公司
阿尔伯特·阿塞里亚斯;莫里茨·米勒;塞尔吉·奥利瓦 相对化弱鸽子洞原理DNF-反驳的下界。 (英语) Zbl 1386.03070号 J.塞姆。日志。 80,第2期,450-476(2015)。理学硕士: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,第2期,433-449(2015)。理学硕士: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 1305.03037号 J.塞姆。日志。 78,第2号,579-601(2013)。 审核人:路德维希·斯泰格(哈雷/萨勒) 理学硕士:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}和\textit{M.Minnes},J.Symb。日志。78,编号2,579-601(2013;兹bl 1305.03037) 全文: 内政部 欧几里得
托马斯·施图德 一些带有负面自省的证明逻辑的可决定性。 (英语) Zbl 1276.03017号 J.塞姆。日志。 78,第2期,388-402(2013)。 审核人:伯恩哈德·海尼曼(黑根) 理学硕士:03B42号 03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer},J.Symb。日志。78,No.2,388--402(2013;Zbl 1276.03017) 全文: 内政部 欧几里得 链接
弗朗西斯科·西罗洛;乔瓦尼·桑宾 封闭与内部之间的伽罗瓦式建筑连接。 (英语) Zbl 1275.03161号 J.塞姆。日志。 77,第4期,1308-1324(2012)。 审核人:桑吉布·库马尔·达塔(卡利亚尼语) 理学硕士:03楼55 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}和\textit{G.Sambin},J.Symb。日志。77,第4号,1308--1324(2012;Zbl 1275.03161) 全文: 内政部 arXiv公司 欧几里得
罗宾·赫希;马塞尔·杰克逊 表示为二元关系的不确定性。 (英语) 兹比尔1279.03084 J.塞姆。日志。 77,第4期,1211-1244(2012)。 审核人:罗杰·马杜克斯(艾姆斯) 理学硕士:03G15年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和textit{M.Jackson},J.Symb。日志。77,第4号,1211--1244(2012;Zbl 1279.03084) 全文: 内政部 欧几里得
安德鲁·波伦斯基 H的范围属性失败。 (英语) Zbl 1294.03017号 J.塞姆。日志。 77,第4期,1195-1210(2012)。理学硕士:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Polonsky},J.Symb。日志。77,No.4,1195--1210(2012;Zbl 1294.03017) 全文: 内政部 欧几里得
默多克·J·加贝。 标称代数和逻辑中的有限和无限支持:免费的标称完整性定理。 (英语) Zbl 1251.03035号 J.塞姆。日志。 77,第3期,828-852(2012)。理学硕士:03B70号 03C98号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Symb。日志。77,第3号,828--852(2012;Zbl 1251.03035) 全文: 内政部 arXiv公司 欧几里得
伊曼纽尔·基伦斯基;马丁·奥托 具有两个变量的一阶逻辑的小子结构和可判定性问题。 (英语) Zbl 1284.03136号 J.塞姆。日志。 77,编号3,729-765(2012)。 审核人:安德烈·莫罗佐夫(新西伯利亚) 理学硕士:03B25号 03C07号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieroński}和\textit{M.Otto},J.Symb。日志。77,编号3,729-765(2012年;兹bl 1284.03136) 全文: 内政部 欧几里得
Ernst-Erich Doberkat 命题动态逻辑的随机解释:表达性。 (英语) Zbl 1252.03074号 J.塞姆。日志。 77,第2期,687-716(2012)。理学硕士:03B70号 03E15年 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},J.Symb。日志。77,No.2,687--716(2012;Zbl 1252.03074) 全文: 内政部 欧几里得
Samuel R.巴斯。 锐化切割消除的下限。 (英语) Zbl 1270.03118号 J.塞姆。日志。 77,第2期,656-668(2012)。 审核人:G.E.Mints(斯坦福) 理学硕士:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss},J.Symb。日志。77,第2号,656--668(2012;Zbl 1270.03118) 全文: 内政部 欧几里得 链接
奥利维·芬克尔;托多尔切维奇,斯特沃 树自动结构的层次结构。 (英语) Zbl 1241.03041号 J.塞姆。日志。 77,第1期,350-368(2012)。理学硕士:03C57号 05年3月 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}和\textit{S.Todorčević},J.Symb。日志。77,第1号,350-368(2012;Zbl 1241.03041) 全文: 内政部 arXiv公司 欧几里得 哈尔
迪特里赫·库斯克;马库斯·洛伊 重新审视了有界度的自动结构。 (英语) 兹比尔1272.03148 J.塞姆。日志。 76,第4期,1352-1380(2011)。 审核人:安德烈·莫罗佐夫(新西伯利亚) 理学硕士: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) 全文: 内政部 链接
迈克尔·加巴伊 作为一种逻辑编程语言,用切割消除法对(lambda)-约简进行了证明理论处理:(lambda\)-演算。 (英语) Zbl 1223.03038号 J.塞姆。日志。 76,第2期,673-699(2011)。理学硕士:05年3月 03B40型 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbay},J.Symb。日志。76,第2号,673--699(2011;Zbl 1223.03038) 全文: 内政部
Sy-David弗里德曼;P.D.韦尔奇。 超级机器。 (英语) Zbl 1220.03040号 J.塞姆。日志。 76,第2期,620-636(2011)。理学硕士:03日第10天 03D65年 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{S.-D.Friedman}和\textit{P.D.Welch},J.Symb。日志。76,第2号,620--636(2011;Zbl 1220.03040) 全文: 内政部
马克·福尔克 归纳推理中的稳健分离。 (英语) Zbl 1221.03034号 J.塞姆。日志。 76,第2期,368-376(2011)。理学硕士:03D20日 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fulk},J.Symb。日志。76,第2号,368--376(2011;Zbl 1221.03034) 全文: 内政部
瓦斯科·布拉特卡;吉多·格拉迪 Weihrauch学位、全能原理和弱可计算性。 (英语) Zbl 1222.03071号 J.塞姆。日志。 76,第1期,143-176(2011)。 审核人:艾丽斯·勒布(基督城) 理学硕士:03层60 03B30型 03日30分 03D45号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{G.Gherardi},J.Symb。日志。76,第1号,143--176(2011;Zbl 1222.03071) 全文: 内政部 arXiv公司 链接
拉维尼亚·埃吉迪;乔瓦尼·法格里亚 Robinson子系统(Q_{+})的双指数不可分性。 (英语) Zbl 1222.03033号 J.塞姆。日志。 76,第1期,94-124(2011)。理学硕士: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) 全文: 内政部
英格·贝斯克;彼得·罗登堡 最初的草地。 (英语) Zbl 1217.68142号 J.塞姆。日志。 75,第3号,888-895(2010)。 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) 理学硕士:68问题65 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}和\textit{P.Rodenburg},J.Symb。日志。75,第3号,888--895(2010;Zbl 1217.68142) 全文: 内政部 arXiv公司 链接
斯普林,迪特 多功能的有效性和有效连续性。 (英语) Zbl 1209.03034号 J.塞姆。日志。 75,第2期,602-640(2010)。 审核人:马吕斯·齐曼德(汤森) 理学硕士:03D78号 03D45号 03层60 PDF格式BibTeX公司 XML格式引用 \文本{D.Spreen},J.Symb。日志。75,第2号,602--640(2010;Zbl 1209.03034) 全文: 内政部 链接
乔治·贾帕里泽 面向基于可计算逻辑的应用理论。 (英语) Zbl 1201.03055号 J.塞姆。日志。 75,第2号,565-601(2010)。 审核人:赛义德·萨利希(大不里士) 理学硕士:03楼50 03B70号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},J.Symb。日志。75,第2号,565--601(2010;Zbl 1201.03055) 全文: 内政部 arXiv公司
卢卡·莫托·罗斯 拜尔还原率和良好的波雷尔还原性。 (英语) Zbl 1200.03034号 J.塞姆。日志。 75,第1期,323-345(2010)。 审核人:Tamás Mátrai(高地公园) 理学硕士:03E15年 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{L.Motto Ros},J.Symb。日志。75,编号1,323--345(2010;Zbl 1200.03034) 全文: 内政部 arXiv公司
陈一佳;弗鲁姆,约格 关于哥德尔证明谓词的复杂性。 (英语) Zbl 1201.03050号 J.塞姆。日志。 75,第1号,239-254(2010)。 审核人:赛义德·萨利希(大不里士) 理学硕士:20层03 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}和\textit{J.Flum},J.Symb。日志。75,编号1,239--254(2010;Zbl 1201.03050) 全文: 内政部 链接
滨野、Masahiro;柳武村 极化线性逻辑和二阶保守性的相位语义。 (英语) Zbl 1186.03051号 J.塞姆。日志。 75,第1期,77-102(2010)。 审核人:弗朗索瓦·梅泰勒(巴黎) 理学硕士:03B47号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamano}和\textit{R.Takemura},J.Symb。日志。75,编号1,77--102(2010;Zbl 1186.03051) 全文: 内政部 链接
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 转移系统受限类上的模态演算层次结构。 (英语) Zbl 1191.03012号 J.塞姆。日志。 74,第4期,1367-1400(2009)。 审核人:克莱门斯·库普克(伦敦) 理学硕士: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) 全文: 内政部 链接
凯斯勒,H.杰罗姆;Wafik Boulos的Lotfallah 几乎处处消除概率量词。 (英语) Zbl 1187.03030号 J.塞姆。日志。 74,第4期,1121-1142(2009)。 审核人:Vera Koponen(乌普萨拉) 理学硕士:03C13号机组 03C10号机组 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Keisler}和\textit{W.B.Lotfallah},J.Symb。日志。74,第4号,1121--1142(2009;Zbl 1187.03030) 全文: 内政部
诺姆·格林伯格;Joseph S.米勒。 库尔茨随机性较低。 (英语) Zbl 1168.03033号 J.塞姆。日志。 74,第2期,665-678(2009)。 审核人:莱昂·哈克勒路(威尔顿) 理学硕士:03天80 68问题30 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}和\textit{J.S.Miller},J.Symb。日志。74,第2号,665--678(2009;Zbl 1168.03033) 全文: 内政部 链接
洛伦佐·卡卢奇;凯斯,约翰;桑杰·贾恩 学习纠错语法。 (英语) Zbl 1193.03067号 J.塞姆。日志。 74,第2期,489-516(2009)。理学硕士: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,第1279-314号(2009年)。 审核人:罗杰·维尔梅尔(蒙特勒) 理学硕士:03B70号 05年3月 2017年第68季度 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人,J.Symb。日志。74,第1号,279--314(2009;Zbl 1181.03034) 全文: 内政部
Michael A.Benedikt。;卢克·塞古芬 研究驯服图上的序不变查询的特征。 (英语) Zbl 1161.03018号 J.塞姆。日志。 74,第1期,168-186(2009)。理学硕士:03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Benedikt}和\textit{L.Segoufin},J.Symb。日志。74,第1号,168--186(2009;Zbl 1161.03018) 全文: 内政部 哈尔
维罗尼卡·贝彻;谢尔盖·格里戈里夫 从索引集到\(\空集^{n}\)中的随机性:随机实域和可能的无限计算。二、。 (英语) Zbl 1163.03023号 J.塞姆。日志。 74,第1期,124-156(2009)。 审核人:克里斯蒂安·卡鲁德(奥克兰) 理学硕士: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) 全文: 内政部
Sørensen,莫滕·海涅;巴威·乌尔兹琴 使用Klop’s(iota)-平移和永久约简的序列演算中的强消去。 (英语) Zbl 1168.03041号 J.塞姆。日志。 73,第3号,919-932(2008)。 审核人:G.E.Mints(斯坦福) 理学硕士:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Sörensen}和\textit{P.Urzyczyn},J.Symb。日志。73,第3号,919--932(2008;Zbl 1168.03041) 全文: 内政部
亚历克谢·米亚斯尼科夫(Alexei G.Myasnikov)。;亚历山大·赖巴洛夫(Alexander N.Rybalov)。 无法判定问题的一般复杂性。 (英语) Zbl 1140.03025号 J.塞姆。日志。 73,第2期,656-673(2008)。理学硕士:03天35分 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Myasnikov}和\textit{A.N.Rybalov},J.Symb。日志。73,第2号,656--673(2008;Zbl 1140.03025) 全文: 内政部
布鲁诺·杜兰德;莱昂尼德·莱文(Leonid A.Levin)。;亚历山大·沈 复杂的瓷砖。 (英语) Zbl 1141.03021号 J.塞姆。日志。 73,第2号,593-613(2008)。理学硕士:03天80 68问题30 03D28号 52C20个 PDF格式BibTeX公司 XML格式引用 \textit{B.Durand}等人,J.Symb。日志。73,第2号,593--613(2008;Zbl 1141.03021) 全文: 内政部 arXiv公司
Ng,Keng Meng女士 在非常高的温度下。 (英语) Zbl 1168.03031号 J.塞姆。日志。 73,第1号,309-342(2008)。 审核人:克里斯蒂安·卡鲁德(奥克兰) 理学硕士:2005年3月25日 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Ng},J.Symb。日志。73,第1号,309--342(2008;Zbl 1168.03031) 全文: 内政部 欧几里得
迪特里赫·库斯克;马库斯·洛伊 (ω)-自动结构的一阶和计数理论。 (英语) Zbl 1141.03015号 J.塞姆。日志。 73,第1期,129-150(2008)。 审核人:J.M.Plotkin(东兰辛) 理学硕士:03C80号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{M.Lohrey},J.Symb。日志。73,编号1,129--150(2008;Zbl 1141.03015) 全文: 内政部 欧几里得
斯蒂芬·库克;简·克拉契克 (\mathrm{NP}\subseteq\mathrm{P/poly}\)可证明性的结果。 (英语) Zbl 1133.03035号 J.塞姆。日志。 72,第4期,1353-1371(2007)。 审核人:埃米尔·杰亚贝克(普拉哈) 理学硕士:20层03 30楼03号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cook}和\textit{J.Krajíček},J.Symb。日志。72,第4号,1353--1371(2007;Zbl 1133.03035) 全文: 内政部 欧几里得
约书亚·伯雷什·奥彭海姆;托尼安·皮塔西 分辨率优化的复杂性。 (英语) Zbl 1160.03005号 J.塞姆。日志。 72,第4号,1336-1352(2007)。 审核人:Alfredo Burrieza Muñiz(马拉加) 理学硕士:03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Buresh-Openheim}和\textit{T.Pitassi},J.Symb。日志。72,第4号,1336--1352(2007;Zbl 1160.03005) 全文: 内政部 欧几里得
萨拉、撒哈拉;莫尔·多伦 可由无量词可定义操作构造的关系结构。 (英语) Zbl 1130.03024号 J.塞姆。日志。 72,第4期,1283-1298(2007)。理学硕士:03C13号机组 03B15号机组 03立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{M.Doron},J.Symb。日志。72,第4号,1283--1298(2007;Zbl 1130.03024) 全文: 内政部 欧几里得
埃米尔·杰瓦贝克 有界算术中的近似计数。 (英语) Zbl 1123.03051号 J.塞姆。日志。 72,第3号,959-993(2007)。 审核人:Roman Murawski(波兹南) 理学硕士:30楼03号 2015年3月1日 2015年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},J.Symb。日志。72,第3号,959--993(2007;Zbl 1123.03051) 全文: 内政部 欧几里得 链接
陈一佳;弗鲁姆,约格;马丁·格罗 W*-层次结构分析。 (英语) Zbl 1122.03040号 J.塞姆。日志。 72,第2期,513-534(2007)。 审核人:Andreas Brandstädt(罗斯托克) 理学硕士:2015年3月1日 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,J.Symb。日志。72,第2号,513--534(2007;Zbl 1122.03040) 全文: 内政部
史蒂文·维克斯 正式拓扑中的子区域设置。 (英语) Zbl 1132.03033号 J.塞姆。日志。 72,第2期,463-483(2007)。 审核人:保罗·班克斯顿(密尔沃基) 理学硕士:65楼03号 2012年2月6日 54个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.维克斯},J.塞姆。日志。72,第2号,463--483(2007;Zbl 1132.03033) 全文: 内政部 链接
谢尔盖·阿特莫夫;罗莎莉,伊姆霍夫 证明的基本直觉逻辑。 (英语) Zbl 1117.03066号 J.塞姆。日志。 72,第2期,439-451(2007)。 审核人:埃米尔·杰亚贝克(普拉哈) 理学硕士:03层45 03楼50 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}和\textit{R.Iemhoff},J.Symb。日志。72,第2号,439--451(2007;Zbl 1117.03066) 全文: 内政部 链接
贝彻,维罗尼卡;圣地亚哥Figueira;谢尔盖·格里戈里夫;Joseph S.米勒。 随机性和停止概率。 (英语) Zbl 1152.03038号 J.塞姆。日志。 71,第4期,1411-1430(2006)。理学硕士:03天80 03日第10天 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}等人,J.Symb。日志。71,第4号,1411--1430(2006;Zbl 1152.03038) 全文: 内政部
罗德·唐尼;安德烈·涅斯;丽贝卡·韦伯;于,梁 Lowness和\(\Pi^0_2\)nullsets。 (英语) Zbl 1112.03040号 J.塞姆。日志。 71,第3期,1044-1052(2006)。 审核人:克里斯蒂安·卡鲁德(奥克兰) 理学硕士:03天80 68问题30 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Symb。日志。71,第3号,1044--1052(2006;Zbl 1112.03040) 全文: 内政部
马吕斯·佩特里亚;拉兹万·迪亚科内斯库 抽象贝丝在制度中的可定义性。 (英语) 兹比尔1110.03064 J.塞姆。日志。 71,第3期,1002-1028(2006)。 审核人:迪米特鲁·布什内格(克雷奥瓦) 理学硕士:03克30 03C95号 03C40 08A55号 18A25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Petria}和\textit{R.Diaconescu},J.Symb。日志。71,第3号,1002--1028(2006;Zbl 1110.03064) 全文: 内政部 链接
J.G.拉弗瑞。 Gentzen和Hilbert系统之间的通信。 (英语) Zbl 1115.03095号 J.塞姆。日志。 71,第3期,903-957(2006)。 审核人:Osamu Sonobe(福洛尼卡) 理学硕士:03G99型 03B22号 07年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},J.Symb。日志。71,第3号,903--957(2006;Zbl 1115.03095) 全文: 内政部
Noriko H.Arai。;托尼安·皮塔西;阿拉斯代尔·厄克哈特 分析表的复杂性。 (英语) Zbl 1109.03066号 J.塞姆。日志。 71,第3期,777-790(2006)。 审核人:埃米尔·杰拉贝克(普拉哈) 理学硕士:20层03 PDF格式BibTeX公司 XML格式引用 \textit{N.H.Arai}等人,J.Symb。日志。71,第3号,777--790(2006;Zbl 1109.03066) 全文: 内政部
理查德·贝格尔;哈里·布尔曼;彼得·费杰尔;福特诺,兰斯;彼得·格拉博夫斯基;朗普雷,吕克;安德烈·穆奇尼克;弗兰克·斯蒂芬;Leen Torenvliet公司 Kolmogorov函数的枚举。 (英语) Zbl 1165.03025号 J.塞姆。日志。 71,第2期,501-528(2006)。理学硕士:03天80 2015年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Beigel}等人,J.Symb。日志。71,第2号,501--528(2006;Zbl 1165.03025) 全文: 内政部 链接
西尔维奥·瓦伦蒂尼 每个可数表示的形式拓扑都是空间的、经典的。 (英语) Zbl 1106.03053号 J.塞姆。日志。 71,第2期,491-500(2006)。 审核人:路易吉·费拉里码头(亚历山德里亚) 理学硕士:65楼03号 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Valentini},J.Symb。日志。71,第2号,491--500(2006;Zbl 1106.03053) 全文: 内政部
詹姆斯·切尼 标称逻辑的完备性和Herbrand定理。 (英语) Zbl 1100.03016号 J.塞姆。日志。 71,第1号,299-320(2006)。理学硕士:03B70号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.切尼},J.塞姆。日志。71,编号1299-320(2006年;Zbl 1100.03016) 全文: 内政部
Giangiacomo Gerla 有效性和多值逻辑。 (英语) Zbl 1106.03018号 J.塞姆。日志。 71,第1期,137-162(2006)。 审核人:齐格弗里德·J·戈特瓦尔德(莱比锡) 理学硕士:03B50号 03B52号 06B35号 03D45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gerla},J.Symb。日志。71,第1号,137--162(2006;Zbl 1106.03018) 全文: 内政部
尼古拉·甘比诺;彼得·阿策尔 构造集理论的广义类型理论解释。 (英语) Zbl 1100.03052号 J.塞姆。日志。 71,第1期,67-103(2006)。理学硕士:03楼50 03E70型 35层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{N.Gambino}和\textit{P.Aczel},J.Symb。日志。71,编号1,67-103(2006年;Zbl 1100.03052) 全文: 内政部 链接
多米尼克·勒科姆 \(ω)-幂和描述性集合理论。 (英语) Zbl 1117.03055号 J.塞姆。日志。 70,第4期,1210-1232(2005)。 审核人:Vesa Halava(图尔库) 理学硕士:03E15年 PDF格式BibTeX公司 XML格式引用 \textit{D.Lecomte},J.塞姆。日志。70,第4号,1210--1232(2005;Zbl 1117.03055) 全文: 内政部 arXiv公司
格雷格·雷斯塔尔;弗朗西斯科·保利 非分配逻辑的几何学。 (英语) Zbl 1100.03049号 J.塞姆。日志。 70,第4期,1108-1126(2005)。理学硕士:05年3月 07年3月 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Restall}和\textit{F.Paoli},J.Symb。日志。70,第4号,1108--1126(2005;Zbl 1100.03049) 全文: 内政部 链接
马丁·兰格;卡斯滕·卢茨 具有交集的命题动态逻辑的2-ExpTime下限。 (英语) Zbl 1100.03017号 J.塞姆。日志。 70,第4期,1072-1086(2005)。理学硕士:03B70号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}和\textit{C.Lutz},J.Symb。日志。70,编号4,1072--1086(2005年;兹bl 1100.03017) 全文: 内政部
亚历山大·雷切夫 相对随机性和实闭域。 (英语) Zbl 1090.03014号 J.塞姆。日志。 70,第1期,319-330(2005)。 审核人:罗德尼·唐尼(惠灵顿) 理学硕士:03天80 03日30分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Raichev},J.Symb。日志。70,第1号,319--330(2005;Zbl 1090.03014) 全文: 内政部
劳拉·克罗西拉;石原、Hajime;彼得·舒斯特 关于施工完井。 (英语) Zbl 1099.03044号 J.塞姆。日志。 70,第3期,969-978(2005)。 审核人:Elliott Mendelson(法拉盛) 理学硕士:03E70型 65楼03号 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{L.Crosilla}等人,J.Symb。日志。70,第3号,969--978(2005;Zbl 1099.03044) 全文: 内政部 链接