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

登录注册

全文

有本地全文

15篇

出版年度

	2019	3篇
	2018	2篇
	2017	1篇
	2015	1篇
	2014	1篇

	2013	1篇
	2011	1篇
	2006	1篇
	2004	1篇
	2003	3篇

作者

	Pawel Sobocinski	15篇
	Filippo Bonchi	4篇
	Fabio Zanasi	2篇
	Jens Seeber	2篇
	Vladimiro Sassone	2篇

	Bartek Klin	1篇
	Computer Science	1篇
	Dusko Pavlovic	1篇
	Hernan Melgratti	1篇
	Joshua Holland	1篇
	Lawrence S. Moss	1篇
	Mudhafar Hussein	1篇
	Nicolas Behr	1篇
	Paul W. Wilson	1篇
	Reiko Heckel	1篇
	Roberto Bruni	1篇
	Robin Piedeleu	1篇
	Stephen Lack	1篇
	Tobias Heindel	1篇
	Ugo Montanari	1篇
	Vincent Danos	1篇

文章类型

Research Article

5篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	BRICS Report Series	4篇
	Electronic Communications of the EASST	2篇
	Logical Methods in Computer Science	2篇

学科主题

计算技术、计算机技术

15篇

语种

英文

15篇

国别/地区

	德国	11篇
	丹麦	4篇

检索条件:"( ( 高级检索(( ((AU:(("Pawel Sobocinski")))) )) ) )"

共 15 条记录

排序：全选导出：

1.Reversing graph transformations

作　　者：Pawel Sobocinski

出　　处：Electronic Communications of the EASST. 2006 ;2.

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

文章 ID：100465447

文章详细全文下载
2.Modelling Adaptive Networks: The Case of the Petrified Voters

作　　者：Mudhafar Hussein ;Reiko Heckel ;Vincent Danos 等

出　　处：Electronic Communications of the EASST. 2014 ;67(0).

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

文章 ID：100465572

文章详细全文下载
3.Being Van Kampen is a Universal Property

作　　者：Pawel Sobocinski ;Tobias Heindel

出　　处：Logical Methods in Computer Science. 2011 ;7(01).

出版社：Technical University of Braunschweig

文章 ID：49467271

文章详细全文下载
4.Bialgebraic Semantics for String Diagrams

作　　者：Filippo Bonchi ;Robin Piedeleu ;Pawel Sobocinski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.37

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

文章 ID：238891945

文章详细全文下载
5.The Axiom of Choice in Cartesian Bicategories

作　　者：Filippo Bonchi ;Jens Seeber ;Pawel Sobocinski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-17.doi:10.4230/LIPIcs.CALCO.2019.15

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

文章 ID：241520012

文章详细全文下载
6.CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)

作　　者：Pawel Sobocinski ;Paul W. Wilson ;Fabio Zanasi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-7.doi:10.4230/LIPIcs.CALCO.2019.20

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

文章 ID：241520017

文章详细全文下载
7.Refinement for Signal Flow Graphs

作　　者：Filippo Bonchi ;Joshua Holland ;Dusko Pavlovic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:24:1-24:16.doi:10.4230/LIPIcs.CONCUR.2017.24

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

文章 ID：200735190

文章详细全文下载
8.Connector algebras for C/E and P/T nets' interactions

作　　者：Roberto Bruni ;Hernan Melgratti ;Ugo Montanari 等

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:16)2013

出版社：Technical University of Braunschweig

文章 ID：264692025

文章详细全文下载
9.Front Matter, Table of Contents, Preface, List of Authors

作　　者：Lawrence S. Moss ;Pawel Sobocinski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:i-xii.doi:10.4230/LIPIcs.CALCO.2015.i

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

文章 ID：186847091

文章详细全文下载
10.Deriving Bisimulation Congruences: 2-Categories vs. Precategories

作　　者：Vladimiro Sassone ;Pawel Sobocinski

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

出版社：Aarhus University

文章 ID：186804823

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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