铃本,靖国;Hideki Tsuiki 空间通过并矢子基的域表示的性质。 (英语) Zbl 1429.06007号 数学。结构。计算。科学。 27,第8期,1625-1638(2017).MSC公司:06B35号 06B30号 54D70型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tsukamoto}和\textit{H.Tsuiki},数学。结构。计算。科学。27,第8号,1625--1638(2017;Zbl 1429.06007) 全文: DOI程序
斯普林,迪特 一些结果与连续性问题有关。 (英语) Zbl 1456.03063号 数学。结构。计算。科学。 27,第8期,1601-1624(2017).MSC公司:03D45号 03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen},数学。结构。计算。科学。27,第8号,1601--1624(2017;Zbl 1456.03063) 全文: DOI程序 arXiv公司
斯坦尼斯拉夫·斯佩兰斯基。 概率逻辑中事件的量化:简介。 (英语) Zbl 1456.03046号 数学。结构。计算。科学。 2017年第8期第27期第1581-1600页.MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Speranski},数学。结构。计算。科学。27,第8号,1581-1600(2017年;兹bl 1456.03046) 全文: DOI程序
维克托·塞利瓦诺夫 朝向cb({0})-空间的描述性理论。 (英语) Zbl 1456.03077号 数学。结构。计算。科学。 1553-1580(2017)第8号第27页.MSC公司:2015年3月 03层60 05年5月54日 03D55号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{V.Selivanov},数学。结构。计算。科学。27,第8号,1553--1580(2017;Zbl 1456.03077) 全文: DOI程序 arXiv公司
弗拉基米尔·萨佐诺夫 在自然连续的非dcpo域上。 (英语) Zbl 1429.06006号 数学。结构。计算。科学。 27,第8期,1521-1552(2017).MSC公司:06B35号 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Sazonov},数学。结构。计算。科学。27,第8号,1521--1552(2017;Zbl 1429.06006) 全文: DOI程序
罗伯特·雷廷格 多连通域和黎曼曲面的有效黎曼映射。 (英语) Zbl 1456.03070号 数学。结构。计算。科学。 27,第8期,1495-1520(2017).MSC公司:03D78号 30立方厘米 03层60 PDF格式BibTeX公司 XML格式引用 \textit{R.Retinger},数学。结构。计算。科学。27,第8号,1495--1520(2017;Zbl 1456.03070) 全文: DOI程序
玛格丽塔·科洛维纳;奥列格·库迪诺夫 有效可枚举拓扑空间中的可计算元素和函数。 (英语) 兹比尔1475.03092 数学。结构。计算。科学。 27,第8期,1466-1494(2017). 审核人:Frank Stephan(新加坡) MSC公司:03D78号 03D45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Korovina}和\textit{O.Kudinov},数学。结构。计算。科学。27、第8号1466-1494(2017;Zbl 1475.03092) 全文: DOI程序
川村,秋田;佛罗里达州斯坦伯格;马丁·齐格勒 关于泊松方程Dirichlet问题的计算复杂性。 (英语) Zbl 1456.03069号 数学。结构。计算。科学。 27,第8期,1437-1465(2017).MSC公司:03D78号 2015年3月1日 03层60 2015年第68季度 2017年第68季度 28A50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kawamura}等人,数学。结构。计算。科学。27,第8号,1437--1465(2017;Zbl 1456.03069) 全文: DOI程序
瓦西里奥斯·格雷戈里亚德斯;塔马斯·基斯佩特;阿诺·保利 比较可计算分析和有效描述性集合理论中的概念。 (英语) Zbl 1456.03076号 数学。结构。计算。科学。 27,第8期,1414-1436(2017).MSC公司:2015年3月 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{V.Gregoriades}等人,《数学》。结构。计算。科学。27,第8号,1414--1436(2017;Zbl 1456.03076) 全文: DOI程序 arXiv公司
克里斯汀·加纳 代数结构的计算和不可判定问题的分类。 (英语) Zbl 1423.03139号 数学。结构。计算。科学。 27,第8期,1386-1413(2017).MSC公司:03日第10天 03天35分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Gaßner},数学。结构。计算。科学。27,第8号,1386--1413(2017;Zbl 1423.03139) 全文: DOI程序
乌尔里希·伯杰;侯铁英 对丘奇简单类型理论的可实现性解释。 (英语) 兹比尔1423.03044 数学。结构。计算。科学。 27,第8期,1364-1385(2017).MSC公司:03B20型 03B15号机组 03B40型 03D78号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{T.Hou},数学。结构。计算。科学。27,第8号,1364--1385(2017;Zbl 1423.03044) 全文: DOI程序
埃德温·贝格斯;JoséFélix科斯塔;波萨斯,迪奥戈;约翰·V·塔克。 使用测量消失量的预言进行计算。 (英语) Zbl 1382.68065号 数学。结构。计算。科学。 27,第8期,1315-1363(2017).MSC公司:2005年第68季度 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{E.Beggs}等人,数学。结构。计算。科学。27,第8号,1315--1363(2017;Zbl 1382.68065) 全文: DOI程序
纳撒尼尔·L·阿克曼。;卡梅隆·E·弗里尔。;丹尼尔·罗伊(Daniel M.Roy)。 关于可计算性和分解。 (英语) Zbl 1423.03251号 数学。结构。计算。科学。 27,第8期,1287-1314(2017).MSC公司:03层60 03D78号 28A50型 60B05型 PDF格式BibTeX公司 XML格式引用 \textit{N.L.Ackerman}等人,《数学》。结构。计算。科学。27,第8号,1287--1314(2017;Zbl 1423.03251) 全文: DOI程序 arXiv公司
石原、Hajime(编辑);玛格丽塔·科洛维纳(编辑);阿诺·保利(编辑);莫尼卡·塞森伯格(编辑);斯普林,迪特(编辑) 特刊前言:连续性、可计算性、可构造性:从逻辑到算法2013。 (英语) Zbl 1376.00047号 数学。结构。计算。科学。 27,第8期,1285-1286(2017).MSC公司:00B25型 00B15号机组 03-06 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}(编辑)等,数学。结构。计算。科学。27,第8号,1285--1286(2017;Zbl 1376.00047) 全文: DOI程序