首页期刊浏览 2024年11月27日星期三

登录注册

高级检索

专家检索

全文

有本地全文

18篇

出版年度

	2007	1篇
	2006	2篇
	2005	2篇
	2004	2篇
	2003	2篇

	2002	1篇
	2000	1篇
	1999	2篇
	1998	1篇
	1996	3篇
	1995	1篇

作者

	Luca Aceto	18篇
	Willem Jan Fokkink	18篇
	Anna Ingólfsdóttir	15篇
	Bas Luttik	4篇
	Chris Verhoef	2篇

	Rob J. van Glabbeek	2篇
	Sumit Nain	2篇
	Taolue Chen	1篇

文章类型

Research Article

18篇

来源期刊

BRICS Report Series

18篇

学科主题

计算技术、计算机技术

18篇

语种

英文

18篇

国别/地区

丹麦

18篇

检索条件:"( ( 高级检索(( ((AU:(("Willem Jan Fokkink")))) )) ) )"

共 18 条记录

排序：全选导出：

1.On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759810

文章详细全文下载
2.Conservative Extension in Structural Operational Semantics

作　　者：Luca Aceto ;Willem Jan Fokkink ;Chris Verhoef

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

出版社：Aarhus University

文章 ID：101759853

文章详细全文下载
3.Structural Operational Semantics

作　　者：Luca Aceto ;Willem Jan Fokkink ;Chris Verhoef

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

出版社：Aarhus University

文章 ID：101759877

文章详细全文下载
4.2-Nested Simulation is not Finitely Equationally Axiomatizable

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759910

文章详细全文下载
5.A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101760007

文章详细全文下载
6.Axiomatizing Prefix Iteration with Silent Steps

作　　者：Luca Aceto ;Willem Jan Fokkink ;Rob J. van Glabbeek 等

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

出版社：Aarhus University

文章 ID：101760038

文章详细全文下载
7.A Cook’s Tour of Equational Axiomatizations for Prefix Iteration

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101760100

文章详细全文下载
8.An Equational Axiomatization for Multi-Exit Iteration

作　　者：Luca Aceto ;Willem Jan Fokkink

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

出版社：Aarhus University

文章 ID：101760124

文章详细全文下载
9.A Note on an Expressiveness Hierarchy for Multi-exit Iteration

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir

出　　处：BRICS Report Series. 2002 ;9(40).

出版社：Aarhus University

文章 ID：186804809

文章详细全文下载
10.Nested Semantics over Finite Trees are Equationally Hard

作　　者：Luca Aceto ;Willem Jan Fokkink ;Rob J. van Glabbeek 等

出　　处：BRICS Report Series. 2003 ;10(27).

出版社：Aarhus University

文章 ID：186804846

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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