×

找到8个文档（结果1-8）

最新的 引文 关联
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。;凯伦·兰格;理查德·肖尔（Richard A.Shore）。

归纳、定界、弱组合原理和齐次模型定理。 （英语） Zbl 1406.03039号

内存。美国数学。Soc公司。1187，vi，106页（2017年）。
审核人：杰弗里·赫斯特（布恩）
MSC公司：03B30型 03C07号机组 03C15号 03元50分 03C57号 03D45号 30楼03号 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}等人，归纳、定界、弱组合原理和齐次模型定理。普罗维登斯，RI:美国数学学会（AMS）（2017；Zbl 1406.03039）
全文： 内政部 链接
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。

计算数学中的一些问题。 （英语） Zbl 1480.03006号

Day，Adam（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆：施普林格。莱克特。注释计算。科学。10010, 22-55 (2017).
MSC公司：03B30型 03C57号 03年月日
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}，莱克特。注释计算。科学。10010，22-55（2017；Zbl 1480.03006）
全文： 内政部
反向链接： 卫生官员 卫生官员
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。;肯·克莱默;罗素·米勒;亚历山德拉·施拉彭托克

可计算代数字段的分类属性。 （英语） Zbl 1347.03082号

事务处理。美国数学。Soc公司。 367，第6号，3981-4017（2015）.
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03D45号 03C57号 03C35号 12升12
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}等人，翻译。美国数学。Soc.367，No.6，3981--4017（2015；Zbl 1347.03082）
全文： 内政部 arXiv公司
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。;Khoussainov，巴哈迪尔;理查德·肖尔（Richard A.Shore）。;阿卡迪·M·斯林科。

代数结构中的度谱和可计算维数。 （英语） Zbl 1016.03034号

Ann.纯粹应用。逻辑 115，编号1-3，71-113（2002）.
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03C57号 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}等人，Ann.Pure Appl。逻辑115，编号1--3，71-113（2002；Zbl 1016.03034）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件