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

登录注册

全文

有本地全文

37篇

出版年度

	2012	1篇
	2011	1篇
	2007	4篇
	2006	2篇
	2005	2篇

	2004	2篇
	2003	4篇
	2002	4篇
	2001	2篇
	2000	2篇
	1999	1篇
	1998	2篇
	1997	1篇
	1996	3篇
	1995	6篇

作者

	Anna Ingólfsdóttir	37篇
	Luca Aceto	31篇
	Willem Jan Fokkink	15篇
	Bas Luttik	4篇
	Zoltán Ésik	4篇

	Jacob Johnsen	3篇
	Jens Alsted Hansen	3篇
	John Knudsen	3篇
	Rob J. van Glabbeek	2篇
	Sumit Nain	2篇
	Anders Lyhne Christensen	1篇
	Andrea Schalk	1篇
	David de Frutos-Escrig	1篇
	Ignacio Fábregas	1篇
	Jacob Illum Rasmussen	1篇
	Jan Poulsen	1篇
	Miguel Palomino	1篇
	Mikkel Lykke Pedersen	1篇
	Silvio Capobianco	1篇
	Taolue Chen	1篇

文章类型

Research Article

35篇

来源期刊

	BRICS Report Series	35篇
	Electronic Proceedings in Theoretical Computer Science	2篇

学科主题

计算技术、计算机技术

37篇

语种

英文

37篇

国别/地区

	丹麦	35篇
	澳大利亚	2篇

检索条件:"( ( 高级检索(( ((AU:(("Anna Ingólfsdóttir")))) )) ) )"

共 37 条记录

排序：全选导出：

1.Graphical representation of covariant-contravariant modal formulae

作　　者：Luca Aceto ;Ignacio Fábregas ;David de Frutos-Escrig 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;64:1-15.doi:10.4204/EPTCS.64.1

出版社：Open Publishing Association

文章 ID：83120275

文章详细全文下载
2.Characteristic Formulae for Relations with Nested Fixed Points

作　　者：Luca Aceto ;Anna Ingólfsdóttir

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;77:15-22.doi:10.4204/EPTCS.77.3

出版社：Open Publishing Association

文章 ID：83120464

文章详细全文下载
3.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

文章详细全文下载
4.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

文章详细全文下载
5.A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

作　　者：Luca Aceto ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759820

文章详细全文下载
6.A Characterization of Finitary Bisimulation

作　　者：Luca Aceto ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759905

文章详细全文下载
7.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

文章详细全文下载
8.A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness

作　　者：Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759915

文章详细全文下载
9.Testing Hennessy-Milner Logic with Recursion

作　　者：Luca Aceto ;Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759916

文章详细全文下载
10.Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics

作　　者：Anna Ingólfsdóttir

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

出版社：Aarhus University

文章 ID：101759959

文章详细全文下载

1 2 3 4 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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