1.Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

作　　者：Dominique Duval ;Rachid Echahed ;Frederic Prost

出　　处：Electronic Communications of the EASST. 2011 ;41.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465460

文章详细全文下载
2.Preface

作　　者：Rachid Echahed ;Anngret Habel ;Mohamed Mosbah

出　　处：Electronic Communications of the EASST. 2014 ;71.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：110617876

文章详细全文下载
3.Proving Correctness of Logically Decorated Graph Rewriting Systems

作　　者：Jon Ha{\"e}l Brenas ;Rachid Echahed ;Martin Strecker

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:14:1-14:15.doi:10.4230/LIPIcs.FSCD.2016.14

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847446

文章详细全文下载
4.Graph Computation Models 2012

作　　者：Rachid Echahed ;Annegret Habel ;Mohamed Mosbah

出　　处：Electronic Communications of the EASST. 2013 ;61.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185434307

文章详细全文下载
5.Preface

作　　者：Rachid Echahed ;Anngret Habel ;Mohamed Mosbah

出　　处：Electronic Communications of the EASST. 2015 ;71.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185430528

文章详细全文下载
6.Graph Computation Models

作　　者：Rachid Echahed ;Annegret Habel ;Mohamed Mosbah

出　　处：Electronic Communications of the EASST. 2011 ;39.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185431110

文章详细全文下载

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Rachid Echahed")))) )) ) )"

	Rachid Echahed	6篇
	Mohamed Mosbah	4篇
	Annegret Habel	2篇
	Anngret Habel	2篇
	Dominique Duval	1篇

	Frederic Prost	1篇
	Jon Ha{\"e}l Brenas	1篇
	Martin Strecker	1篇

	Electronic Communications of the EASST	5篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

	2016	1篇
	2015	1篇
	2014	1篇
	2013	1篇
	2011	2篇