首页期刊浏览 2025年12月04日星期四

登录注册

全文

	有本地全文	615篇
	有全文链接	10篇

出版年度

	2015	2篇
	2008	6篇
	2007	13篇
	2006	17篇
	2005	36篇

	2004	40篇
	2003	51篇
	2002	52篇
	2001	54篇
	2000	45篇
	1999	51篇
	1998	49篇
	1997	47篇
	1996	56篇
	1995	58篇
	1994	48篇

作者

	Olivier Danvy	94篇
	Luca Aceto	38篇
	Anna Ingólfsdóttir	35篇
	Glynn Winskel	32篇
	Kim G. Larsen	27篇

	Ivan B. Damgård	23篇
	Anders Møller	22篇
	Michael I. Schwartzbach	21篇
	Ulrich Kohlenbach	21篇
	Zoltán Ésik	20篇
	Mogens Nielsen	18篇
	Peter D. Mosses	18篇
	Willem Jan Fokkink	18篇
	Peter Bro Miltersen	17篇
	Dariusz Biernacki	16篇
	Gerth Stølting Brodal	16篇
	Nils Klarlund	14篇
	Mayer Goldberg	13篇
	Jirí Srba	12篇
	Lasse R. Nielsen	12篇
	Christian N. S. Pedersen	11篇
	Gudmund Skovbjerg Frandsen	11篇
	Mads Sig Ager	11篇
	Henning Korsholm Rohde	10篇
	Kevin Millikin	10篇
	Rasmus Pagh	10篇
	Hans Hüttel	9篇
	Malgorzata Biernacka	9篇
	Paul Pettersson	9篇
	Søren Riis	9篇
	Vladimiro Sassone	9篇
	Claus Brabrand	8篇
	Dany Breslauer	8篇
	Devdatt P. Dubhashi	8篇
	Gian Luca Cattani	8篇
	Louis Salvail	8篇
	Rune B. Lyngsø	7篇
	Theis Rauhe	7篇
	Thomas S. Hune	7篇
	Wang Yi	7篇

文章类型

Research Article

625篇

来源期刊

BRICS Report Series

625篇

学科主题

计算技术、计算机技术

625篇

语种

英文

625篇

国别/地区

丹麦

625篇

检索条件:"( ( 高级检索(( ((JI:("90330"))) )) ) )"

共 625 条记录

排序：全选导出：

1.The DSD Schema Language and its Applications

作　　者：Nils Klarlund ;Anders Møller ;Michael I. Schwartzbach

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

出版社：Aarhus University

文章 ID：101759789

文章详细全文下载
2.A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization

作　　者：Anna Ingólfsdóttir

出　　处：BRICS Report Series. 1995 ;2(3).

出版社：Aarhus University

文章 ID：101759790

文章详细全文下载
3.A Simple Solution to Type Specialization

作　　者：Olivier Danvy

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

出版社：Aarhus University

文章 ID：101759791

文章详细全文下载
4.Improved Bounds for Dictionary Look-up with One Error

作　　者：Gerth Stølting Brodal ;Srinivasan Venkatesh

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

出版社：Aarhus University

文章 ID：101759792

文章详细全文下载
5.Type Inference with Selftype

作　　者：Jens Palsberg

出　　处：BRICS Report Series. 1995 ;2(34).

出版社：Aarhus University

文章 ID：101759793

文章详细全文下载
6.Petri Nets and Bisimulations

作　　者：Mogens Nielsen ;Glynn Winskel

出　　处：BRICS Report Series. 1995 ;2(4).

出版社：Aarhus University

文章 ID：101759794

文章详细全文下载
7.Towards a Theory of Regular MSC Languages

作　　者：Jesper G. Henriksen ;Madhavan Mukund ;K. Narayan Kumar 等

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

出版社：Aarhus University

文章 ID：101759795

文章详细全文下载
8.Intuitionistic Choice and Restricted Classical Logic

作　　者：Ulrich Kohlenbach

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

出版社：Aarhus University

文章 ID：101759796

文章详细全文下载
9.Modeling a Language for Embedded Systems in Timed Automata

作　　者：Thomas S. Hune

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

出版社：Aarhus University

文章 ID：101759797

文章详细全文下载
10.The Complexity of Computing the k-ary Composition of a Binary Associative Operator

作　　者：Gerth Stølting Brodal ;Sven Skyum

出　　处：BRICS Report Series. 1996 ;3(42).

出版社：Aarhus University

文章 ID：101759798

文章详细全文下载

1 2 3 4 5 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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