首页期刊浏览 2025年04月14日星期一

登录注册

高级检索

专家检索

全文

有本地全文

9篇

出版年度

	2000	1篇
	1999	1篇
	1998	1篇
	1997	1篇
	1994	5篇

作者

	Søren Riis	9篇
	Arne Andersson	1篇
	Meera Sitharam	1篇
	Mikkel Thorup	1篇
	Peter Bro Miltersen	1篇

Stefan Dantchev

1篇

文章类型

Research Article

9篇

来源期刊

BRICS Report Series

9篇

学科主题

计算技术、计算机技术

9篇

语种

英文

9篇

国别/地区

丹麦

9篇

检索条件:"( ( 高级检索(( ((AU:(("Søren Riis")))) )) ) )"

共 9 条记录

排序：全选导出：

1.A Complexity Gap for Tree-Resolution

作　　者：Søren Riis

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

出版社：Aarhus University

文章 ID：101759873

文章详细全文下载
2.A Tough Nut for Tree Resolution

作　　者：Stefan Dantchev ;Søren Riis

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

出版社：Aarhus University

文章 ID：101759918

文章详细全文下载
3.Uniformly Generated Submodules of Permutation Modules

作　　者：Søren Riis ;Meera Sitharam

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

出版社：Aarhus University

文章 ID：101760047

文章详细全文下载
4.Count(q) versus the Pigeon-Hole Principle

作　　者：Søren Riis

出　　处：BRICS Report Series. 1994 ;1(26).

出版社：Aarhus University

文章 ID：186804702

文章详细全文下载
5.Bootstrapping the Primitive Recursive Functions by 47 Colors

作　　者：Søren Riis

出　　处：BRICS Report Series. 1994 ;1(25).

出版社：Aarhus University

文章 ID：186804703

文章详细全文下载
6.A Fractal which violates the Axiom of Determinacy

作　　者：Søren Riis

出　　处：BRICS Report Series. 1994 ;1(24).

出版社：Aarhus University

文章 ID：186804704

文章详细全文下载
7.Finitisation in Bounded Arithmetic

作　　者：Søren Riis

出　　处：BRICS Report Series. 1994 ;1(23).

出版社：Aarhus University

文章 ID：186804706

文章详细全文下载
8.Count(q) does not imply Count(p)

作　　者：Søren Riis

出　　处：BRICS Report Series. 1994 ;1(21).

出版社：Aarhus University

文章 ID：186804708

文章详细全文下载
9.Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient

作　　者：Arne Andersson ;Peter Bro Miltersen ;Søren Riis 等

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

出版社：Aarhus University

文章 ID：186804735

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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