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

登录注册

全文

	有本地全文	51篇
	有全文链接	2篇

出版年度

	2022	1篇
	2021	2篇
	2020	2篇
	2018	2篇
	2017	1篇

	2015	1篇
	2012	1篇
	2011	2篇
	2009	2篇
	2007	4篇
	2006	2篇
	2005	3篇
	2004	2篇
	2003	3篇
	2002	3篇
	2001	2篇
	2000	2篇
	1999	4篇
	1998	3篇
	1997	2篇
	1996	3篇
	1995	4篇
	1994	2篇

作者

	Luca Aceto	53篇
	Anna Ingólfsdóttir	31篇
	Willem Jan Fokkink	18篇
	Bas Luttik	8篇
	Anna Ingolfsdottir	5篇

	Zoltán Ésik	4篇
	Adrian Francalanza	3篇
	Anna Ing{\'o}lfsd{\'o}ttir	3篇
	Valentina Castiglioni	3篇
	Antonis Achilleos	2篇
	Augusto Burgueno	2篇
	Chris Verhoef	2篇
	Ingólfsdóttir, Anna	2篇
	Jacob Johnsen	2篇
	Jens Alsted Hansen	2篇
	John Knudsen	2篇
	Kim G. Larsen	2篇
	Rob J. van Glabbeek	2篇
	Sumit Nain	2篇
	Wan Fokkink	2篇
	Alexandra Silva	1篇
	Anna Ing{'o}lfsd{'o}ttir	1篇
	David de Frutos Escrig	1篇
	David de Frutos-Escrig	1篇
	Eugen-Ioan Goriac	1篇
	Francois Laroussinie	1篇
	Georgiana Caltais	1篇
	Holger Hermanns	1篇
	Ian Cassar	1篇
	Ignacio F{\'a}bregas	1篇
	Ignacio Fábregas	1篇
	Jan Friso Groote	1篇
	Jan Poulsen	1篇
	Jos Baeten	1篇
	Joshua Sack	1篇
	Karoliina Lehtinen	1篇
	Mathias R. Pedersen	1篇
	Mathias Ruggaard Pedersen	1篇
	Matteo Cimini	1篇
	Miguel Palomino	1篇

文章类型

Research Article

38篇

来源期刊

	BRICS Report Series	38篇
	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Electronic Proceedings in Theoretical Computer Science	5篇
	Logical Methods in Computer Science	2篇

学科主题

计算技术、计算机技术

53篇

语种

英文

53篇

国别/地区

	丹麦	38篇
	德国	10篇
	澳大利亚	5篇

检索条件:"( ( 高级检索(( ((AU:(("Luca Aceto")))) )) ) )"

共 53 条记录

排序：全选导出：

1.Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

作　　者：Luca Aceto ;Wan Fokkink ;Anna Ingolfsdottir 等

出　　处：Logical Methods in Computer Science. 2005 ;1(1).

出版社：Technical University of Braunschweig

文章 ID：41929656

文章详细全文下载
2.Characteristic Formulae for Fixed-Point Semantics: A General Framework

作　　者：Luca Aceto ;Anna Ingolfsdottir ;Joshua Sack

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;8:1-15.doi:10.4204/EPTCS.8.1

出版社：Open Publishing Association

文章 ID：83119747

文章详细全文下载
3.A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

作　　者：Luca Aceto ;Matteo Cimini ;Anna Ingolfsdottir

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;18:1-16.doi:10.4204/EPTCS.18.1

出版社：Open Publishing Association

文章 ID：83119827

文章详细全文下载
4.Axiomatizing GSOS with Predicates

作　　者：Luca Aceto ;Georgiana Caltais ;Eugen-Ioan Goriac 等

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

出版社：Open Publishing Association

文章 ID：83120238

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

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

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

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

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

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

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

出版社：Aarhus University

文章 ID：101759853

文章详细全文下载
10.The Power of Reachability Testing for Timed Automata

作　　者：Luca Aceto ;Patricia Bouyer ;Augusto Burgueno 等

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

出版社：Aarhus University

文章 ID：101759857

文章详细全文下载

1 2 3 4 5 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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