首页期刊浏览 2025年03月06日星期四

登录注册

高级检索

专家检索

全文

有本地全文

21篇

出版年度

	2005	1篇
	2004	1篇
	2003	4篇
	2002	3篇
	2001	2篇

	2000	3篇
	1999	2篇
	1998	2篇
	1997	3篇

作者

	Ulrich Kohlenbach	21篇
	Philipp Gerhardy	3篇
	Paulo B. Oliva	2篇
	Branimir Lambov	1篇
	Laurentiu Leustean	1篇

Mircea-Dan Hernest

1篇

文章类型

Research Article

21篇

来源期刊

BRICS Report Series

21篇

学科主题

计算技术、计算机技术

21篇

语种

英文

21篇

国别/地区

丹麦

21篇

检索条件:"( ( 高级检索(( ((AU:(("Ulrich Kohlenbach")))) )) ) )"

共 21 条记录

排序：全选导出：

1.Intuitionistic Choice and Restricted Classical Logic

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 2000 ;7(12).

出版社：Aarhus University

文章 ID：101759796

文章详细全文下载
2.Effective Uniform Bounds on the Krasnoselski-Mann Iteration

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 2000 ;7(9).

出版社：Aarhus University

文章 ID：101759806

文章详细全文下载
3.On the No-Counterexample Interpretation

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 1997 ;4(42).

出版社：Aarhus University

文章 ID：101759856

文章详细全文下载
4.Higher Order Reverse Mathematics

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 2000 ;7(49).

出版社：Aarhus University

文章 ID：101759907

文章详细全文下载
5.Proof Theory and Computational Analysis

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 1997 ;4(30).

出版社：Aarhus University

文章 ID：101759987

文章详细全文下载
6.Effective Bounds on Strong Unicity in L1-Approximation

作　　者：Ulrich Kohlenbach ;Paulo B. Oliva

出　　处：BRICS Report Series. 2001 ;8(14).

出版社：Aarhus University

文章 ID：101760036

文章详细全文下载
7.On the Uniform Weak König’s Lemma

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 1999 ;6(11).

出版社：Aarhus University

文章 ID：101760051

文章详细全文下载
8.The Computational Strength of Extensions of Weak König’s Lemma

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 1998 ;5(41).

出版社：Aarhus University

文章 ID：101760052

文章详细全文下载
9.Things that can and things that can’t be done in PRA

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 1998 ;5(18).

出版社：Aarhus University

文章 ID：101760085

文章详细全文下载
10.On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness

作　　者：Ulrich Kohlenbach

出　　处：BRICS Report Series. 1997 ;4(23).

出版社：Aarhus University

文章 ID：101760115

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有